-
Discovering Products of Ordered Sets
-
Baby Yoneda 3: Know Your Limits
-
Baby Yoneda 2: Representable Boogaloo
-
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