# ben-dickinson01/rijke-intro-to-hott architecture
> Architecture diagram of the GitHub repository ben-dickinson01/rijke-intro-to-hott, generated by GitDiagram from its file tree, README and a sample of source files (last updated 2026-09-30). It is an AI-made overview: check details against the source.
- Interactive diagram: https://gitdiagram.com/ben-dickinson01/rijke-intro-to-hott
- Repository: https://github.com/ben-dickinson01/rijke-intro-to-hott
## Overview
This repository is a personal, chapter-by-chapter collection of Agda code accompanying Rijke’s Homotopy Type Theory book. Its documented purpose is to support learning HoTT and Agda; the tree contains chapters 2–13, but no source excerpts show dependencies or execution flow between them. The graph therefore presents the chapters as independent study materials rather than inventing a runtime pipeline.
Main entry points: [`ch02.agda`](https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch02.agda) (Chapter 2), [`ch03.agda`](https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch03.agda) (Chapter 3), [`ch04.agda`](https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch04.agda) (Chapter 4), [`ch05.agda`](https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch05.agda) (Chapter 5)
## Diagram (Mermaid)
```mermaid
flowchart TD
subgraph group_chapters["Book chapters"]
node_ch02["Chapter 2
[ch02.agda]"]
node_ch03["Chapter 3
[ch03.agda]"]
node_ch04["Chapter 4
[ch04.agda]"]
node_ch05["Chapter 5
[ch05.agda]"]
node_ch06["Chapter 6
[ch06.agda]"]
node_ch07["Chapter 7
[ch07.agda]"]
node_ch08["Chapter 8
[ch08.agda]"]
node_ch09["Chapter 9
[ch09.agda]"]
node_ch10["Chapter 10
[ch10.agda]"]
node_ch11["Chapter 11
[ch11.agda]"]
node_ch12["Chapter 12
[ch12.agda]"]
node_ch13["Chapter 13
[ch13.agda]"]
end
node_learner(("Learner"))
node_learner -->|"studies"| node_ch02
node_learner -->|"studies"| node_ch03
node_learner -->|"studies"| node_ch04
node_learner -->|"studies"| node_ch05
node_learner -->|"studies"| node_ch06
node_learner -->|"studies"| node_ch07
node_learner -->|"studies"| node_ch08
node_learner -->|"studies"| node_ch09
node_learner -->|"studies"| node_ch10
node_learner -->|"studies"| node_ch11
node_learner -->|"studies"| node_ch12
node_learner -->|"studies"| node_ch13
click node_ch02 "https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch02.agda"
click node_ch03 "https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch03.agda"
click node_ch04 "https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch04.agda"
click node_ch05 "https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch05.agda"
click node_ch06 "https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch06.agda"
click node_ch07 "https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch07.agda"
click node_ch08 "https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch08.agda"
click node_ch09 "https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch09.agda"
click node_ch10 "https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch10.agda"
click node_ch11 "https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch11.agda"
click node_ch12 "https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch12.agda"
click node_ch13 "https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch13.agda"
classDef toneNeutral fill:#f8fafc,stroke:#334155,stroke-width:1.5px,color:#0f172a
classDef toneBlue fill:#dbeafe,stroke:#2563eb,stroke-width:1.5px,color:#172554
classDef toneAmber fill:#fef3c7,stroke:#d97706,stroke-width:1.5px,color:#78350f
classDef toneMint fill:#dcfce7,stroke:#16a34a,stroke-width:1.5px,color:#14532d
classDef toneRose fill:#ffe4e6,stroke:#e11d48,stroke-width:1.5px,color:#881337
classDef toneIndigo fill:#e0e7ff,stroke:#4f46e5,stroke-width:1.5px,color:#312e81
classDef toneTeal fill:#ccfbf1,stroke:#0f766e,stroke-width:1.5px,color:#134e4a
class node_ch02,node_ch03,node_ch04,node_ch05,node_ch06,node_ch07,node_ch08,node_ch09,node_ch10,node_ch11,node_ch12,node_ch13 toneBlue
class node_learner toneIndigo
```
## Components
### Book chapters
- [Chapter 2](https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch02.agda): `ch02.agda`
- [Chapter 3](https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch03.agda): `ch03.agda`
- [Chapter 4](https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch04.agda): `ch04.agda`
- [Chapter 5](https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch05.agda): `ch05.agda`
- [Chapter 6](https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch06.agda): `ch06.agda`
- [Chapter 7](https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch07.agda): `ch07.agda`
- [Chapter 8](https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch08.agda): `ch08.agda`
- [Chapter 9](https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch09.agda): `ch09.agda`
- [Chapter 10](https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch10.agda): `ch10.agda`
- [Chapter 11](https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch11.agda): `ch11.agda`
- [Chapter 12](https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch12.agda): `ch12.agda`
- [Chapter 13](https://github.com/ben-dickinson01/rijke-intro-to-hott/blob/main/ch13.agda): `ch13.agda`
### Other components
- **Learner**
## Connections
- Learner → Chapter 2: studies (evidence: `README.md`)
- Learner → Chapter 3: studies (evidence: `README.md`)
- Learner → Chapter 4: studies (evidence: `README.md`)
- Learner → Chapter 5: studies (evidence: `README.md`)
- Learner → Chapter 6: studies (evidence: `README.md`)
- Learner → Chapter 7: studies (evidence: `README.md`)
- Learner → Chapter 8: studies (evidence: `README.md`)
- Learner → Chapter 9: studies (evidence: `README.md`)
- Learner → Chapter 10: studies (evidence: `README.md`)
- Learner → Chapter 11: studies (evidence: `README.md`)
- Learner → Chapter 12: studies (evidence: `README.md`)
- Learner → Chapter 13: studies (evidence: `README.md`)