Mathematics · Foundations & Logic
A topic within Foundations & Logic, itself one of 13 topics in that field and part of Mathematics.
Assumes you know the vocabulary.
Category Theory for Scientists
David I. Spivak · 2013
Recasts category theory as a general-purpose modelling language for the sciences, using databases and hierarchies as running examples rather than…
Primary sources and full treatments.
General Theory of Natural Equivalences
Samuel Eilenberg & Saunders Mac Lane · 1945
Introduces categories, functors and natural transformations to make precise what mathematicians meant by calling a construction natural, founding…
+1 more at this level
3 works
David I. Spivak
Recasts category theory as a general-purpose modelling language for the sciences, using databases and hierarchies as running examples rather than starting from pure mathematics.
link checked 17 Sept 2026Samuel Eilenberg & Saunders Mac Lane
Introduces categories, functors and natural transformations to make precise what mathematicians meant by calling a construction natural, founding category theory as a subject in its own right.
link checked 17 Sept 2026Emily Riehl
Develops category theory entirely through worked examples from across mathematics, arguing that universal properties, not objects themselves, are what the theory is really about.
link checked 17 Sept 2026