• 📐 Category Theory I: Categories, Functors, and Natural Transformations
• 📐 Category Theory II: Adjoints and Representable Functors
• 📐 Category Theory III: Limits and Colimits
• 📐 Category Theory IV: Adjoint Functor Theorems and Monads
• 📐 Category Theory V: Kan Extensions