Category Theory and Foundations
Category theory studies mathematical structures and their relationships through objects and structure-preserving maps, offering a unifying language and an alternative, structural foundation for mathematics.
Definition
Category theory is the branch of mathematics that abstracts the common structure of mathematical theories by studying categories, collections of objects together with composable morphisms, and the functors and natural transformations between them, emphasizing relationships over internal constitution.
Scope
This area covers categories, functors, and natural transformations, universal properties and the unifying notions of limit and colimit, adjoint functors and the Yoneda lemma, and topos theory, which generalizes set theory and links category theory to logic and to alternative foundations of mathematics.
Sub-topics
Core questions
- How can disparate mathematical constructions be described uniformly by universal properties?
- What does it mean for two categories to be equivalent or for a construction to be functorial?
- How do adjoint functors capture optimal solutions across mathematics?
- How does a topos serve as a generalized universe of sets and a setting for logic?
Key theories
- Yoneda lemma
- An object is determined up to isomorphism by the network of morphisms into or out of it, so each object embeds faithfully into a category of functors, formalizing the structural viewpoint.
- Universal properties and limits
- Many constructions, such as products, kernels, and completions, are characterized as universal solutions to mapping problems, unifying them as limits or colimits.
- Adjoint functors
- Adjunctions pair functors going in opposite directions by a natural correspondence of morphisms, capturing free constructions, forgetful functors, and a vast range of optimal mathematical processes.
Clinical relevance
Category theory provides a unifying language used throughout modern mathematics and theoretical computer science: it organizes algebra, topology, and geometry, underlies homological algebra and algebraic geometry, supplies the semantics of type theory and functional programming, and, through topos theory, offers a structural alternative to set-theoretic foundations.
History
Category theory was introduced by Eilenberg and Mac Lane in 1945 to give a precise meaning to natural transformations in algebraic topology. Grothendieck reshaped algebraic geometry with categorical and topos-theoretic methods in the 1950s and 1960s, and Lawvere advanced category theory as a foundation of mathematics through the elementary theory of the category of sets and the axiomatic theory of toposes.
Key figures
- Samuel Eilenberg
- Saunders Mac Lane
- Alexander Grothendieck
- F. William Lawvere
Related topics
Seminal works
- maclane1998
- awodey2010
- riehl2016
Frequently asked questions
- Why is category theory called abstract nonsense?
- The nickname, used affectionately, reflects how category theory reasons at a high level of generality using only objects and morphisms, often proving results uniformly without reference to the internal details of the structures involved. The generality is a feature that makes the arguments widely applicable.
- Can category theory replace set theory as a foundation?
- Topos theory and structural set theories such as Lawvere's elementary theory of the category of sets provide categorical foundations adequate for much of mathematics. Whether they should replace set theory is debated, but they offer a genuine structural alternative emphasizing relationships rather than membership.