📝§ Category Theory

• Category theory is all about morphisms, not objects

  • Category Theory is a theory of functors

• 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)

  • Cartesian monoidal category

  • Cocartesian monoidal category

• Category Theory: Function object

Resources:

• Milewski₂₀₁₆

• 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