model category in nLab

Contents

Contents

Idea

A model category (sometimes called a Quillen model category or a closed model category, but not related to “closed category”) is a context for doing homotopy theory. Quillen developed the definition of a model category to formalize the similarities between homotopy theory and homological algebra: the key examples which motivated his definition were the category of topological spaces, the category of simplicial sets, and the category of chain complexes.

So, what is a model category? For starters, it is a category equipped with three classes of morphisms, each closed under composition and called weak equivalences, fibrations and cofibrations:

• The weak equivalences play the role of ‘homotopy equivalences’ or something a bit more general (such as weak homotopy equivalences). Already in the case of topological spaces, it is useful to say that two spaces have the same homotopy type if there is a map from one to the other that induces isomorphisms on homotopy groups for any choice of basepoint in the first space. These maps are more general than homotopy equivalences, so they are called ‘weak equivalences’.

• The fibrations play the role of ‘nice surjections’. For example, in the category Top of topological spaces with its usual Quillen model structure on topological spaces, a locally trivial fiber bundle is a fibration. More generally the fibrations here are the Serre fibrations.

• The cofibrations play the role of ‘nice inclusions’. For example, in the category Top of topological spaces with its usual model structure on topological spaces, an NDR pair is typically a cofibration.

A bit more technically: we can define an (∞,1)-category starting from any category with weak equivalences. The idea is that this (∞,1)-category keeps track of objects in our original category, morphisms between objects, homotopies between morphisms, homotopies between homotopies, and so on, ad infinitum. However, the extra structure of a model category makes it easier to work with this (∞,1)-category. We can obtain this (∞,1)-category in various ways, such as simplicial localization of the underlying category with weak equivalences, or (if the model category is simplical) the homotopy coherent nerve of the simplicial subcategory M cf⊂MM_{cf}\subset M of cofibrant-fibrant objects. We say this (∞,1)-category is presented (or modeled) by the model category, and that the objects of the model category are models for the objects of this (∞,1)(\infty,1)-category. Not every (∞,1)-category is obtained in this way (otherwise it would necessarily have all small homotopy limits and homotopy colimits).

In this sense model categories are ‘models for homotopy theory’ or ‘categories of models for homotopy theory’. (The latter sense was the one intended by Quillen, but the former is also a useful way to think.)

Recall that the idea of categories with weak equivalences is to work just with 1-morphisms instead of with n-morphisms for all nn, but to carry around extra information to remember which 1-morphisms are really equivalences in the full (∞,1)-category, i.e. isomorphisms in the corresponding homotopy category.

In a model category the data of weak equivalences is accompanied by further auxiliary data that helps to compute the (∞,1)-categorical hom-space, the homotopy category and derived functors. See homotopy category of a model category for more on that.

If the model category happens to be a combinatorial simplicial model category A\mathbf{A} it presents the category A ∘\mathbf{A}^\circ in the form of a simplicially enriched category given by the full SSet-enriched subcategory on objects that are both fibrant and cofibrant.

Definition

The following is a somewhat terse account. For a more detailed exposition see at Introduction to Homotopy Theory the section Abstract homotopy theory.

This equivalent version of the definition was observed in (Joyal, def. E.1.2), highlighted in (Riehl 09). This definition already implies all the closure conditions on classes of morphisms which other definitions in the literature explicitly ask for, see below.

Variants

Slight variations on the axioms

Quillen’s original definition required only finite limits and finite colimits, which are enough for the basic constructions. Colimits of larger cardinality are sometimes required for the small object argument, however. This change was popularized by Dwyer, Hirschhorn & Kan 1997, published as Dwyer, Hirschhorn, Kan & Smith 2004.

Robert W. Thomason proposed to require that the factorizations given by (ii) are actually functorial factorization systems,

resulting in the notion of a Thomason model category. Mark Hovey later included the data of such a functorial factorization (and not just its existence) into his definition of a model category. In practice, Quillen’s small object argument means that many model categories can be made to have functorial factorizations. (But not all: an example of a model category with non-functorial factorizations can be found in Isaksen 2001.)

Enhancements of the axioms

There are several extra conditions that strengthen the notion of a model category:

• A monoidal model category is monoidal category that is also a model category in a compatible way.

• An enriched model category is an enriched category over a monoidal category, that is also a model category in a compatible way.

• An algebraic model category is one where the two defining weak factorization systems are refined to algebraic weak factorization systems.

• A cofibrantly generated model category is one with a good compatible notion of cell complexes.

• A combinatorial model category is a cofibrantly generated one that in addition is a locally presentable category.

• An accessible model category is one on a locally presentable category that admits accessible factorizations, which can therefore be enhanced to algebraic weak factorization systems.

• A left/right proper model category is one where the weak equivalences are stable under pushforward along cofibrations / pullback along fibrations

Weaker axiom systems

There are several notions of category with weak equivalences with similar but less structure than a full model category.

• A category of fibrant objects has a notion of just weak equivalences and fibrations, none of cofibrations. As the name implies, all of its objects are fibrant; the canonical example is the subcategory of fibrant objects in a model category.

• A Waldhausen category dually has a notion of weak equivalences and cofibrations, and all of its objects are cofibrant.

• There is also a slight variant of the full notion of model category by Thomason that is designed to make the global model structure on functors more naturally accessible: this is the notion of Thomason model category.

• A category with path objects is similar to a category of fibrant objects but has path space objects.

• Semimodel categories relax some of the conditions on lifting properties.

• Weak model categories relax these conditions even further.

• Premodel categories are an even weaker notion that allows for a nice 2-categorical treatment.

Properties

Closure of morphism classes under retracts

As a consequence of the definition, the classes Cof,FibCof, Fib, and WW each

• are closed under retracts in the arrow category ArrCArr C,

• are closed under composition,

• contain all the isomorphisms of CC.

For CofCof and FibFib and W∩CofW \cap Cof and W∩FibW \cap Fib this and further closure properties are discussed in detail at weak factorization system in the section Closure properties.

In the presence of functorial factorizations, it follows immediately that also WW is closed under retracts: for any retract diagram may then be funtorially factored with the middle morphism factored through W∩CofW \cap Cof followed by W∩FibW \cap Fib, and so the statement follows from the above closure of these classes under retracts.

Without assuming functorial factorization the statement still holds:

(Joyal, prop. E.1.3), highlighted in (Riehl 09)

Redundancy in the defining factorization systems

It is clear that:

But, in fact, already the cofibrations and the fibrant objects determine the model structure.

This statement appears for instance as (Joyal, prop. E.1.10)

Basic closure properties of class of model categories

(e.g. Hovey (1999), Exp. 1.1.6) (e.g. Hovey (1999), Rem. 1.1.7) (cf. this Example at transferred model structure)

Homotopy and Homotopy category

See at

• homotopy in a model category

• homotopy category of a model category

Examples

Trivial model structure

Classical model structures

The archetypical model structures are the

• classical model structure on topological spaces

and the

• classical model structure on simplicial sets.

These model categories are Quillen equivalent and encapsulate much of “classical” homotopy theory. From a higher-categorical viewpoint, they can be regarded as models for ∞-groupoids (in terms of CW complexes or Kan complexes, respectively).

The passage to stable homotopy theory is given by model structures on spectra built out of either of these two classical model structures. See at Model categories of diagram spectra for a unified treatment.

Accordingly homological algebra with its derived categories and derived functors (which may be thought of as a sub-topic of stable homotopy theory via the stable Dold-Kan correspondence) is reflected by

• model structures on chain complexes

• model structures on dg-algebras

In fact, the original definition of model categories in Quillen67 was motivated by the analogy between constructions in homotopy theory and homological algebra.

Categorical model structures

Of interest to category theorists is that many notions of higher categories come equipped with model structures, witnessing the fact that when retaining only invertible transfors between nn-categories they should form an (∞,1)(\infty,1)-category. Many of these are called

• canonical model structures, including “categorical” model structures for
  • categories
  • (strict or weak) 2-categories
  • strict ∞-categories, and
  • strict ∞-groupoids.

Model categories have successfully been used to compare many different notions of (∞,1)-category. The following definitions of (∞,1)(\infty,1)-category all form Quillen equivalent model categories:

• simplicially enriched categories
• quasi-categories (via the Joyal model structure on simplicial sets)
• Segal categories
• complete Segal spaces

There are related model structures for enriched higher categories:

• model structure on enriched categories
• model structure on dg-categories

Other “higher categorical structures” can also be expected to form model categories, such as the

• model structure on dendroidal sets

which generalizes the Joyal model structure from (∞,1)-categories to (∞,1)-operads.

There is also another class of model structures on categorical structures, often called Thomason model structures (not to be confused with the notion of “Thomason model category”). In the “categorical” or “canonical” model structures, the weak equivalences are the categorical equivalences, but in the Thomason model structures, the weak equivalences are those that induce weak homotopy equivalences of nerves. Thomason model structures are known to exist on 1-categories and 2-categories, at least, and are generally Quillen equivalent to the Quillen model structure on topological spaces and thus (via the singular simplicial complex and geometric realization adjunction) to the and Quillen model structure on simplicial sets.

Parametrized model structures

The parameterized version of the model structure on simplicial sets is a

• model structure on simplicial presheaves or
• model structure on simplicial sheaves or

which serves as a model for ∞-stack (∞,1)-toposes (for hypercomplete (∞,1)-toposes, more precisely).

Functor and localized model structures

Many model structures, including those for complete Segal spaces, simplicial presheaves, and diagram spectra, are constructed by starting with a model structure on a functor category, such as a

• projective model structure,
• injective model structure, or
• Reedy model structure,

and applying a general technique called Bousfield localization which forces a certain class of morphisms to become weak equivalences. It can also be thought of as forcing a certain class of objects to become fibrant.

Limit and colimit model structures

Model structures can be induced on certain (usually lax) limits and colimits of diagrams of model categories.

• Grothendieck construction for model categories (lax colimits)
• model structure on sections (lax limit)

• 2-category of model categories

• simplicial homotopy theory

• synthetic homotopy theory

• homotopy category of a model category

• localization of model categories

• double category of model categories

• Ho(CombModCat)

• premodel category

• model (∞,1)-category

References

The concept of a model category originates with

• Daniel Quillen, Chapter I, Axiomatic homotopy theory in: Homotopical Algebra, Lecture Notes in Mathematics 43 Springer (1967) [doi:10.1007/BFb0097438]

and the modern form of the axioms (replacing requirement of finite (co-)limits by small (co-)limits ) is due to:

• William G. Dwyer, Philip S. Hirschhorn, Daniel M. Kan, Model Categories and More General Abstract Homotopy Theory (1997) [pdf, pdf]

Monographs and textbooks

• Mark Hovey, Model Categories, Mathematical Surveys and Monographs, 63 AMS (1999) [ISBN:978-0-8218-4361-1, doi:10.1090/surv/063, pdf, Google books]

• Mark Hovey, Errata to Model Categories (1999) [pdf, pdf]

• Philip Hirschhorn, Model Categories and Their Localizations, AMS Math. Survey and Monographs 99 (2002) [ISBN:978-0-8218-4917-0, pdf toc, pdf, pdf]

• William Dwyer, Philip Hirschhorn, Daniel Kan, Jeff Smith, Homotopy Limit Functors on Model Categories and Homotopical Categories, Mathematical Surveys and Monographs 113, AMS 2004 (ISBN: 978-1-4704-1340-8, pdf)

• J. Peter May, Kate Ponto, More Concise Algebraic Topology, The University of Chicago Press, 2012. Part 4.

• Emily Riehl, Categorical Homotopy Theory, Cambridge University Press, 2014.

• Scott Balchin, A Handbook of Model Categories, Algebra and Applications, 27 Springer (2021) [[doi:10.1007/978-3-030-75035-0]]

Coverage table for major sources

Topic	Quillen	Hovey	Hirschhorn	DHKS	May-Ponto	Riehl	Lurie	Balchin
combinatorial model categories	no	no	no	no	no*	yes	yes	yes
monoidal model categories	no	yes	no	no	yes	yes	yes	yes
enriched model categories	no	no	no	no	yes	yes	yes	yes
homotopy colimits	no	no	yes	yes	no*	yes	yes	yes
Bousfield localizations	no	no	yes	no	yes	no	yes	yes
transferred model structures	yes	no	yes	no	no	yes	yes	yes
Reedy model structures	no	yes	yes	yes	no	yes	yes	yes

Book chapters

For yet another introduction to model categories, with an eye towards their use as presentations of (∞,1)(\infty,1)-categories see

• Jacob Lurie, Appendix A.2 and A.3 of Higher Topos Theory

Survey articles

• William Dwyer, Jan Spalinski, Homotopy theories and model categories (pdf)

  in: I. M. James, Handbook of Algebraic Topology, North Holland 1995 (ISBN:9780080532981, doi:10.1016/B978-0-444-81779-2.X5000-7)

• Paul Goerss, Kirsten Schemmerhorn, Model categories and simplicial methods, Notes from lectures given at the University of Chicago, August 2004, in: Interactions between Homotopy Theory and Algebra, Contemporary Mathematics 436, AMS 2007(arXiv:math.AT/0609537, doi:10.1090/conm/436)

Other sources

An account is in

• Joyal's CatLab, Model categories

and appendix E of

• André Joyal, The theory of quasi-categories and its applications (pdf, pdf)

The version of the definition in (Joyal) is also highlighted in

• Emily Riehl, A concise definition of model category, 2009 (pdf, pdf)

An introductory survey of some key concepts is in the set of slides

• Peter May, Model Category Primer

There is an unpublished manuscript of Chris Reedy from around 1974 that’s been circulating as an increasingly faded photocopy. It’s been typed into LaTeX, and the author has given permission for it to be posted on the net:

• Chris Reedy, Homotopy theory of model categories (pdf)

See

• Philip Hirschhorn, personal website: Mathematics

for errata and more.