A complete beginner course
Category theory, from the beginning.
Start with definitions, sets, functions, relations, and basic algebra. Then build category theory step by step until you can use universal properties, Yoneda, adjunctions, monads, and compositional agent planning.
24 units240 checks45–60h guided study
Af
Bg
Cg ∘ f
Prerequisites
No set theory, abstract algebra, or proof experience is assumed. Basic arithmetic and patience with new notation are enough.
Course outcome
Read commuting diagrams, use universal properties, and explain functors, natural transformations, Yoneda, adjunctions, and monads with precise examples.