Category Theory for Programmers
Bartosz Milewski
Learn functors and other category theory concepts applied to programming! This course by Bartosz Milewski makes abstract math practical.
More resources on Functors
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.
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.
nLab: Functor
Reference entry from the nLab wiki defining functors between categories, with variants such as contravariant, full, faithful and essentially surjective functors, plus examples and properties. Useful for checking precise definitions and seeing how functors connect to wider higher-category theory.
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.