model category

model category
Name	Model category
Field	Algebraic topology; Category theory; Homotopy theory
Introduced	1960s
Introduced by	Daniel Quillen
Examples	Simplicial sets; Topological spaces; Chain complexes

model category

A model category is an abstract categorical framework introduced to axiomatize homotopy theory in diverse contexts. It encodes three distinguished classes of morphisms—cofibrations, fibrations, and weak equivalences—so that constructions analogous to homotopy, homotopy limits and colimits, and derived functors can be performed inside category theory-flavored settings such as algebraic topology, homological algebra, and mathematical logic. The notion was formalized by Daniel Quillen and has become central to modern work linking Grothendieck, Verdier-style derived categories, Eilenberg–MacLane constructions, and higher categorical frameworks developed by Jacob Lurie and others.

Definition

A model category is a complete and cocomplete category C equipped with three subcollections of morphisms called weak equivalences, cofibrations, and fibrations satisfying axioms that allow factorization and lifting properties. The axioms include existence of functorial factorizations, two-out-of-three for weak equivalences, and the interplay of cofibrations with trivial fibrations and fibrations with trivial cofibrations via specified lifting conditions; these axioms were specified in Quillen's foundational work and later reformulated in expositions by Mark Hovey, Stephen Smale (note: Smale is primarily a dynamical systems figure), and Paul Goerss. Typical formal developments reference constructions in Mac Lane's category theory and use techniques from Grothendieck's homotopical algebra.

Examples

Standard examples include the category of simplicial sets with the Kan model structure used in classical homotopy theory and the category of compactly generated Hausdorff spaces with the Serre model structure; both are fundamental to Eilenberg–MacLane-style homotopical methods and to comparisons with CW complex theory. Chain complexes of modules over a ring admit projective and injective model structures used in homological algebra and in the study of derived categories associated to rings and schemes such as those considered by Alexander Grothendieck and Jean-Pierre Serre. Other prominent examples include model structures on categories of dg-algebras studied by Maxim Kontsevich and Bertrand Toën, on spectra used in stable homotopy theory developed by J. F. Adams and Michael Boardman, and on presheaf categories appearing in the work of Artin, Verdier, and others on étale homotopy.

Homotopy theory in a model category

Homotopy classes of morphisms are obtained via cofibrant and fibrant replacements that generalize classical cylinder and path constructions found in Henri Poincaré-inspired topology; these replacements lead to the homotopy category Ho(C) obtained by formally inverting weak equivalences, connecting to concepts from Daniel Quillen's Q-construction and to derived functors in the sense of Jean-Louis Verdier. The existence of Quillen adjunctions between model categories gives rise to Quillen equivalences, which identify model categories as presenting the same homotopy theory; this machinery is central to comparisons such as the Dold–Kan correspondence studied by Albrecht Dold and Daniel Kan and to equivalences between simplicial and topological settings used by Samuel Eilenberg and Norman Steenrod.

Constructions and transfer of model structures

Several methods produce new model structures from existing ones. The transferred model structure along an adjoint pair permits constructing model structures on categories of algebras over operads or monads, an approach employed by May, Boardman, and Vladimir Hinich in dg and operadic contexts. Bousfield localization, introduced by A. K. Bousfield, creates localized model structures reflecting inverting a specified class of maps and plays a key role in chromatic homotopy theory developed by Douglas Ravenel and in localization techniques used by Marc Hovey and Bethany Fiedorowicz. Projective and injective model structures on functor categories arise via levelwise definitions tied to the work of Peter Freyd and are essential in the study of diagrammatic homotopy limits and colimits.

Properties and variants

Variants of the model category notion include combinatorial model categories introduced in work by Jeff Smith and developed by Rosický, which are locally presentable and cofibrantly generated, and cellular model categories presented by Mark Hovey and Jeff Smith for handling transfinite constructions. Monoidal model categories, studied in the context of G. Segal's and May's operad theory, impose compatibility between a symmetric monoidal product and the model structure and underpin structured ring spectra approaches of Elmendorf, Kriz, Mandell, and May. Simplicial model categories, enrichments over simplicial sets promoted by Daniel Kan and J. Peter May, and enriched model structures more generally feature prominently in higher-categorical formulations by Jacob Lurie and Clark Barwick.

Applications and connections to other fields

Model categories provide foundational tools for derived algebraic geometry pursued by Jacob Lurie, Bertrand Toën, and Gabriele Vezzosi; they underpin constructions in motivic homotopy theory initiated by Fabien Morel and Vladimir Voevodsky and in equivariant stable homotopy theory developed by tom Dieck and L. Gaunce Lewis Jr.. In mathematical physics, model-categorical methods inform deformation quantization and topological field theory studied by Maxim Kontsevich, Kevin Costello, and Graeme Segal. Interactions with logical and type-theoretic frameworks appear via homotopy type theory and univalent foundations associated with figures such as Vladimir Voevodsky and Steve Awodey, linking model structures on syntactic categories to computational foundations.

Category:Homotopy theory