Nerve (category theory)

Nerve (category theory)
Name	Nerve (category theory)
Field	Category theory
Introduced by	Daniel Kan
Introduced in	1958
Related	Simplicial set, Classifying space, Homotopy category

Nerve (category theory) is a construction that associates to a small category a simplicial set encoding its compositional structure, used to connect category theory with algebraic topology and homotopy theory. Introduced by Daniel Kan and developed alongside work of G. W. Whitehead, J. H. C. Whitehead, and later authors such as Quillen and Grothendieck, the nerve functor is central to comparisons between model category frameworks, simplicial homotopy, and notions of higher category.

Definition

For a small category, the nerve assigns a simplicial set N(C) whose n-simplices are strings of n composable morphisms in C. Formally, the nerve is the functor N: Cat → SSet defined by N(C)_n = Hom_{Cat}([n], C) where [n] denotes the ordinal regarded as a category, featured in work of Daniel Kan and used in the theory of simplicial objects by Eilenberg and Mac Lane. This construction intertwines with the Yoneda embedding exploited by Saunders Mac Lane and appears in foundational comparisons in Quillen's higher algebra contexts and Grothendieck's pursuits toward ∞-categories.

Examples

- For a discrete category associated to a set with objects corresponding to points studied in Cantor-type constructions, the nerve is a disjoint union of 0-simplices, a simplicial set analogous to constructions used by Hilbert in topological examples. - The nerve of a group viewed as a one-object category gives the classifying simplicial set for a principal bundle classification problem, relating to the classifying space constructions of Milnor and Serre and utilized by Borel and Atiyah in characteristic class contexts. - For a poset regarded as a category, the nerve recovers the order complex employed in combinatorial work by Rota and Erdős, which connects to topological combinatorics developed by Björner and Forman. - The nerve of the simplex category [n] produces the standard simplices central to Singular homology formulations used by Hurewicz and Eilenberg-Mac Lane.

Properties and Functoriality

The nerve functor N: Cat → SSet is fully faithful when restricted appropriately and preserves limits, reflecting structure exploited in equivalences established by Grothendieck in his study of fibered categories and by Street in higher-categorical contexts. It interacts with adjunctions such as those featuring the realization functor |–|: SSet → Top studied by Milnor and Segal, providing natural transformations used by Quillen in model category comparisons. N preserves products and sends equivalences of categories to weak homotopy equivalences of simplicial sets, a fact used in proofs by Thomason and in descent contexts examined by Deligne and Drinfeld. The nerve is compatible with nerve-of-functor constructions appearing in work of Grothendieck on 2-categories and later in coherence theorems by Kelly and Power.

Homotopical Significance

Nerve provides a bridge between categorical equivalence and homotopy equivalence: an equivalence of small categories induces a weak equivalence of nerves, employed by Quillen in K-theory and by Thomason in algebraic K-theory comparisons with Waldhausen's constructions. The classifying space B(C) = |N(C)| connects to principal fibration classification studied by Milnor and to characteristic class computations by Chern and Weil. The nerve plays a central role in model structures on Cat and SSet explored by Joyal and Lurie, underpinning arguments in the proof of homotopy invariance results used by Moore and May.

Variants and Generalizations

Several variants generalize the nerve to enriched and higher settings: the enriched nerve for categories enriched over a monoidal category examined by Kelly; the simplicial nerve linking simplicial categories to quasi-categories studied by Cordier and Porter; the homotopy coherent nerve employed by Cordier, Porter, and further developed by Lurie in Higher Topos Theory; and the Duskin nerve for bicategories investigated by Duskin and Street. Grothendieck's nerve of a 2-category and Street's nerve constructions appear in coherence analyses by Power and Lack, while the Boardman–Vogt W-construction relates to homotopy coherent nerves used by Boardman and Vogt.

Applications in Higher Category Theory

In higher category theory, the nerve provides models for (∞,1)-categories and for comparisons between quasi-categories of Joyal and model categories of simplicial categories studied by Bergner and Lurie. Lurie's straightening–unstraightening equivalence relies on nerve-like constructions to relate Cartesian fibrations and functor categories in Higher Algebra, with applications in derived algebraic geometry pursued by Toen and Vezzosi and in factorization homology work by Ayala and Francis. The nerve also underlies approaches to (∞,n)-categories in the programs of Baez and Dolan and in operadic higher category frameworks developed by Getzler and Markl.

Category:Category theory