📝§ Category Theory
- Category theory is all about morphisms, not objects
- Category definition
- Set theory: functions
- Hom-set
- Category Theory: Isomorphism
- Category Theory: Monomorphism
- Category Theory: Epimorphism
- Thin Category—preorder isomorphism
- Monoid
- Initial/Terminal object
- Category Theory: Product
- Discrete category
- Functor
- Endofunctor
- Bifunctor
- Contravariant Functor
- Cat (category)—a category of functors
- Monoidal category (also called tensor category)
- Category Theory: Function object
Resources:
- Milewski2016
- https://www.youtube.com/user/DrBartosz/playlists
- category theory on nLab—wiki skewed to category theory point of view
Backlinks
- 🖋 How I note
- 📝 Category Theory: Coproduct
- 📝 Cocartesian monoidal category
- 📝 Cartesian monoidal category
- 📝 Cat (category)
- 📝 Monoidal category
- 📝 Contravariant Functor
- 📝 § Complexity
- 📝 § Index
- 📝 Initial/Terminal object
- 📝 Category theory is all about morphisms, not objects
- 📝 Monoid
- 📝 Category
- 📝 Category Theory: Product
- 📝 § Math