Category (mathematics)

Category (mathematics)
Name	Category (mathematics)
Field	Category theory
Introduced	1945
Introduced by	Samuel Eilenberg, Saunders Mac Lane
Examples	Set, Grp, Top, Vect, Poset

Category (mathematics) A category is an abstract structure consisting of objects and morphisms between them, formalized to capture compositional properties that appear across Set, Top, Grp, Ring, Vect and other mathematical contexts. Originating in the work of Samuel Eilenberg and Saunders Mac Lane during research connected to Algebraic topology, the notion unifies constructions used in Homological algebra, Algebraic geometry, Logic, Computer science, and Representation theory. Categories provide a language linking results in the traditions of Élie Cartan, Hermann Weyl, Alexander Grothendieck, Claude Chevalley and later contributors such as Grothendieck's students and colleagues.

Definition

A category C consists of a class of objects Ob(C) and, for every ordered pair of objects X, Y, a class of morphisms Hom_C(X,Y) with associative composition and identity morphisms for each object, axiomatized to model examples like Set, Top, Manifolds, Schemes, and C*-algebra-related categories. Functors are structure-preserving maps between categories, introduced by Samuel Eilenberg and Saunders Mac Lane and used alongside natural transformations in developments influenced by Noether-style structural methods and by Emmy Noether's algebraic program. A small category has Hom-sets in the sense of Georg Cantor's set theory, while large categories invoke ideas from Ernst Zermelo and Abraham Fraenkel in set-theoretic foundations.

Examples

Standard examples include the category Set of sets and functions, Grp of groups and homomorphisms, Ring of rings, Top of topological spaces and continuous maps, Vect of vector spaces over a field such as Évariste Galois-related finite fields, and Cat of small categories and functors. Geometric and arithmetic examples appear as the category of Schemes developed by Alexander Grothendieck, the derived categories used by Jean-Pierre Serre and Pierre Deligne, and the homotopy categories central to Homotopy theory influenced by J. H. C. Whitehead and Daniel Quillen. Enriched categories arise in contexts related to Saunders Mac Lane's coherence questions and to work by G. W. Whitehead and Max Kelly. Topological quantum field theory uses categories linked to Michael Atiyah and Graeme Segal.

Basic constructions and concepts

Constructions include products and coproducts modeled after Cartesian product in Set and disjoint union in Top, limits and colimits generalizing inverse limits used by Emil Artin and direct limits appearing in Algebraic number theory by figures like Claude Chevalley, and adjoint functors whose ubiquity was emphasized by Saunders Mac Lane and further explored by Samuel Eilenberg. The Yoneda lemma, due to Nobusuke Yoneda and popularized by Saunders Mac Lane, relates representable functors to elements of Hom-sets and underpins representation-theoretic viewpoints used by George Gabriel and Michiel Hazewinkel. Monoidal categories generalize tensor products prominent in Paul Dirac-inspired quantum formalism and in representations studied by Hermann Weyl; abelian categories abstract properties of module categories studied by Emmy Noether and Israel Gelfand. Higher categories and n-categories, developed in part by John Baez and Jacob Lurie, extend foundations toward Higher category theory and Homotopical algebra by Daniel Quillen and André Joyal.

Important properties and theorems

Key results include the Yoneda lemma, the adjoint functor theorem attributed to work by Peter Freyd and Saunders Mac Lane, and Gabriel–Ulmer duality central to Pierre Gabriel and Fritz Ulmer's classification of locally presentable categories. The Gabriel–Rosenberg reconstruction theorem connects schemes and their categories of quasi-coherent sheaves in work by Alexander Grothendieck and later authors, while Mitchell's embedding theorem links abelian categories to module categories related to I. B. S. Passman-style representation theory. Mac Lane's coherence theorems address associativity and unit constraints in monoidal and bicategorical contexts, with applications traced to Saunders Mac Lane himself and to later researchers such as Ross Street and Christopher Schommer-Pries.

Applications and connections

Categories serve as organizing frameworks in Algebraic geometry shaped by Alexander Grothendieck and Jean-Pierre Serre, in Algebraic topology influenced by Samuel Eilenberg and J. H. C. Whitehead, and in Mathematical logic through categorical semantics linked to Alonzo Church-inspired lambda calculus and to work by William Lawvere. Computer science uses categorical models such as cartesian closed categories and monads popularized by Edsger Dijkstra-influenced functional programming and by Philip Wadler. Mathematical physics exploits tensor categories and modular tensor categories in studies by Edward Witten and Vladimir Drinfeld. Representation theory, noncommutative geometry of Alain Connes, and topos theory from Alexander Grothendieck and William Lawvere connect categorical methods across disciplines.

Historical development

The concept originated in 1945 in papers by Samuel Eilenberg and Saunders Mac Lane during collaboration on Algebraic topology problems such as the Eilenberg–MacLane spaces named for them. Throughout the 1950s–1970s, figures including Alexander Grothendieck, Jean-Pierre Serre, Pierre Gabriel, Saunders Mac Lane, and Samuel Eilenberg expanded categorical language into Algebraic geometry, Homological algebra, and representation theory. Later developments in higher categories, driven by Drinfeld, Jacob Lurie, John Baez, and others, linked categories to Quantum field theory and advanced homotopical techniques from Daniel Quillen. Contemporary research continues in areas influenced by institutions such as the Institute for Advanced Study, the Mathematical Sciences Research Institute, and research programs at universities including Harvard University, University of Cambridge, and École Normale Supérieure.

Category:Category theory