-
The Baby Yoneda Lemma
-
Subset Images, Categorically
-
Why Preimages Preserve Subset Operations
-
Discovering Topological Products
-
Products, Categorically
-
Infinitary Cartesian Products
-
Indexed-Fibred Duality
-
A Precise Notion of Approximation
-
Connectedness as an Induction Principle
-
Three Perspectives on Equivalence Relations
-
Why Charts for Manifolds?
-
Making Category Theory Relatable