Category Theory

Category Theory. Categories, functors, natural transformations, limits, and adjunctions. The literature on category theory divides naturally along several axes: the foundational structures that organise the subject, the techniques that drive proofs and computations, the questions about classification or representation that animate current research, and the bridges to neighbouring areas of mathematics and science. The references below trace those axes through the canonical textbook treatments and recent technical contributions.

Foundations and canonical references

The standard treatments of category theory approach the subject from complementary angles. Lane, Categories for the Working Mathematician (1998) is the anchor reference for the subject and lays out the core definitions, theorems, and worked examples that practitioners return to. Riehl, Category Theory in Context (2016) gives a parallel, more proof-oriented exposition of the same material and is widely used as a graduate text. Borceux, Handbook of Categorical Algebra (1994) offers an alternative presentation that complements the primary references and is useful for triangulating definitions and proof techniques.

Open methodological questions for category theory include sharpening the bridges between foundational theory and computational practice, extending classical results to broader or more structured settings, and integrating the techniques surveyed above with adjacent mathematical disciplines. The references listed in this page are the entry points that current work builds on.