FC03 — Riehl, Category Theory in Context
This book contains 97 definitions, 30 theorems, 44 propositions, 44 lemmas, 33 corollaries, 119 examples, 17 constructions, 25 remarks, 10 conventions, 1 notation, 1 criterion and 13 other statements.
434 statements, none of them checked against Lean yet.
| Chapter | Definitions | Theorems, propositions | Lemmas, corollaries | Everything else | Formalized | Not formalized |
|---|---|---|---|---|---|---|
| Chapter 1. Categories, Functors, and Natural Transformations (pp. 1–48) | 27 | 4 | 22 | 54 | not checked | |
| Chapter 2. Representability and the Yoneda Lemma (pp. 49–72) | 6 | 6 | 5 | 23 | not checked | |
| Chapter 3. Limits and Colimits (pp. 73–114) | 19 | 22 | 10 | 42 | not checked | |
| Chapter 4. Adjunctions | 13 | 16 | 18 | 29 | not checked | |
| Chapter 5. Monads and Algebras | 14 | 10 | 17 | 14 | not checked | |
| Chapter 6. All Concepts are Kan Extensions | 11 | 12 | 5 | 21 | not checked | |
| Epilogue: Theorems in Category Theory | 7 | 4 | — | 3 | not checked |
What the book contains
| Kind of statement | Count |
|---|---|
| Definitions | 97 |
| Theorems | 30 |
| Propositions | 44 |
| Lemmas | 44 |
| Corollaries | 33 |
| Examples | 119 |
| Constructions | 17 |
| Remarks | 25 |
| Conventions | 10 |
| Notations | 1 |
| Criteria | 1 |
| Other statements | 13 |
| Total | 434 |
How this book was read
Corpus source: FC03 in Foundational source corpus v1 (frozen).
Pinned source: Emily Riehl, Category Theory in Context, Dover, 2016; Chapters 1–6 and Epilogue, exercises excluded. Front-matter previews, Epilogue §E.1 recap statements, bibliography, Catalog of Categories, notation glossary, and index are not duplicated when they only restate or index canonical units introduced in the body.
Markdown extraction: local-write-api-1783451282930-TIDLVIT4_extracted.md.
This is the canonical Sweep-I source-unit catalogue for FC03. Stable source-local IDs are consumed unchanged by Sweeps II–IV.
Chapters 1–3: 240 units.
Chapters 4–6 and unique Epilogue material: 194 units.
Total: 434 stable source units.
Canonical printed non-exercise label introductions in Chapters 1–3 are reconciled against OCR/layout repetitions and embedded labels; Chapters 4–6 include 166 numbered Definition/Lemma/Proposition/Theorem/Corollary/Example/Remark/Notation records, and §§E.2–E.5 contribute five new numbered statements.
Exercises are excluded; all dependencies are earlier FC03 unit IDs.
Foundational corpus mapping FC03 Riehl Category Theory in Context