Category Theory for Programmers
Bartosz Milewski
Learn universal properties in category theory with Bartosz Milewski's engaging course for programmers. Master this powerful abstraction!
More resources on Universal Properties
Wolfram MathWorld
MathWorld is an online mathematics encyclopedia from Wolfram Research offering detailed, browsable articles on topics across the math spectrum, including algebra, geometry, calculus, and number theory. Each entry includes definitions, theorems, formulas, diagrams, worked examples, and links to further reading.
A Gentle Introduction to Category Theory
Learn category theory basics with Paolo Perrone! This course gently explores universal properties and more. Start your journey now!
Category Theory for Programmers
Free online book by Bartosz Milewski introducing category theory through Haskell and C++ examples, starting from types and functions and building to functors, natural transformations, adjunctions and monads. Readers learn to recognize categorical structures in everyday functional programming code.
Universal Construction (nLab)
Wiki entry explaining how specifying the maps into or out of an object determines it up to isomorphism, with worked cases for products, free groups, tensor products, and initial and terminal objects, plus the Yoneda-lemma justification.
nLab
Collaborative wiki for mathematics, physics and philosophy written from a category-theoretic viewpoint, with cross-linked entries on categories, functors, adjunctions, topos theory, higher category theory and homotopy theory. Readers can look up precise definitions, examples and references for advanced structural mathematics.