nLab
canonical model structure

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

Model category theory

model category

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

Presentation of (∞,1)-categories

Model structures

for ∞-groupoids

for ∞-groupoids

for n-groupoids

for ∞-groups

for ∞-algebras

general

specific

for stable/spectrum objects

for (∞,1)-categories

for stable (∞,1)-categories

for (∞,1)-operads

for (n,r)-categories

for (∞,1)-sheaves / ∞-stacks

Contents

Idea

In general, canonical model structures are model category structures on the categories of some flavor of n-categories for 1≤n≤∞ (note that n=∞ or ω is allowed), which are intended to capture the correct “categorical” theory of these categories.

Canonical model structures are sometimes called “folk” model structures, but the appropriateness of this term is very questionable, especially in the cases n>1. Other alternatives are ‘endogenous’, ‘standard’, ‘natural’, and ‘categorical’.

While ultimately the collection of all n-categories should form an (n+1)-category, restricting that to just invertible higher morphisms will yield an (n+1,1)-category, and thus in particular an (∞,1)-category. It is this (∞,1)-category which is intended to be presented by a canonical model structure. In particular, the weak equivalences in a canonical model structure should be the category-theoretic equivalences.

This is to be contrasted with Thomason model structures in which the weak equivalences are the morphisms that induce a weak homotopy equivalence of nerves. This amounts to regarding each category, or rather its nerve, as a placeholder for its groupoidification (Kan fibrant replacement) and then considering the standard notion of equivalence.

In a canonical model structure for some flavor of n-categories, usually

  • a fibration is a functor that lifts equivalences in all dimensions,
  • an acyclic fibration is a functor which is k-surjective for all 0≤k≤n,
  • a weak equivalence is a functor which is essentially k-surjective for all 0≤k≤n, and
  • a cofibration is a functor which is injective on objects and “relatively free” on k-morphisms for 1≤k<n. These can also be described as the morphisms generated? by the inclusions ∂G k↪G k of the boundary of the k-globe into the k-globe for 0≤k<∞.

References on particular cases

  • The canonical model structure for 1-categories was known to experts for some time before being written down formally (this is the origin of the adjective “folk”).

    • It was apparently first published (for categories internal to a Grothendieck topos) by Joyal and Tierney, Strong Stacks and Classifying Spaces, Category theory (Como, 1990) Springer LNM 1488, 213-236.

    • A more elementary writeup by Charles Rezk can be found here.

    • A general internal version relative to a Grothendieck coverage can be found in

      T. Everaert, R.W. Kieboom, T. Van der Linden, Model structures for homotopy of internal categories Theory and Applications of Categories, Vol. 15, CT2004, No. 3, pp 66-94. (tac).

      though it seems that the assumptions in this article apply to ambient categories that are semiabelian categories, but do not apply to ambient categories like Top.

    • A brief summary, together with a generalization when one assumes only weaker versions of the axiom of choice, can be found at folk model structure on Cat.

    • See also the Catlab.

  • The canonical model structures for 2-categories and bicategories are due to Steve Lack.

    • A Quillen Model Structure for 2-Categories, K-Theory 26: 171–205, 2002. (website)
    • A Quillen Model Structure for Bicategories, K-Theory 33: 185-197, 2004. (website)

  • For n=3, Gray-categories:

  • for n=ω:

  • for n=ω and all morphisms invertible, there is the model structure on strict omega-groupoids:

    • R. Brown and M. Golasinski, A model structure for the homotopy theory of crossed complexes, Cah. Top. Géom. Diff. Cat. 30 (1989) 61-82 (pdf)

Internalization

A common problem is to transport the (a) model structure on plain ω-categories, i.e. ω-categories internal to Sets to another internal context, notably for the case that Sets is replaced with some kind of category of Spaces. This is relevant for the discussion of the homotopy theory of topological and smooth ω-categories.

Usually, such internalization of model structures has the consequence that some properties invoked in the description of the original model structure, notably some of the lifting properties, will only continue to hold “locally”. One way to deal with this is to pass to a notion slightly weaker than that of a model category called a category of fibrant objects as used in homotopical cohomology theory.

But there are also full model structures for such situations. Notice that under a suitable nerve operation all n-categories usually embed into simplicial sets. The models for infinity-stack (infinity,1)-toposes given by the model structure on simplicial presheaves then serves to present the corresponding (∞,1)-category of parameterized or internal n-categories. See for instance also smooth infinity-stack.

Cofibrant resolutions

In

it is shown that cofibrant ω-categories with respect to the canonical model structure are precisely the “free” ones, where “free” here means “generated from a polygraph” as described in

We had some blog discussion about this at Freely generated omega-categories.

References

Revised on November 15, 2012 20:36:23 by Raeder? (129.241.15.202)
Edit | Back in time (31 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: canonical model structure, anafunctor, hypercover, model category, category with weak equivalences, homotopy category, derived functor, Gray-category, 2-category, model structure on simplicial sets, strict omega-category, category of fibrant objects, model structure on topological spaces, monoidal model category, path space object, pushout-product axiom, BrownAHT, small object argument, isofibration, homotopy limit, model structure on simplicial presheaves, model structure on simplicial sheaves, van Kampen theorem, Segal space, homotopy pullback, equivalence of categories, weak homotopy equivalence, Thomason model structure, Reedy category, generalized Reedy category, Bousfield-Kan map, simplicial model category, enriched model category, model structure on strict omega-groupoids, simplicial homotopy, computad, spectral sequence, proper model category, Quillen equivalence, local model structure on simplicial presheaves, global model structure on simplicial presheaves, Quillen adjunction, model structure on presheaves of simplicial groupoids, model structure on sSet-enriched presheaves, model structure on chain complexes, adjoint equivalence, combinatorial model category, cofibrantly generated model category, homotopy image, Reedy model structure, enriched Reedy category, model structure on functors, Kan fibrant replacement, (infinity,1)-categorical hom-space, model structure for Cartesian fibrations, model structure on dg-algebras, Quillen bifunctor, enriched Quillen adjunction, model category theory - contents, model structure on cosimplicial rings, model structure on dendroidal sets, tractable model category, model structure on homotopical presheaves, cellular model category, model structure on an over category, Bousfield localization of model categories, model structure on dg-coalgebras, canonical model structure on Cat, model structure for complete Segal spaces, model structure for quasi-categories, model structure on categories with weak equivalences, model structure on algebraic fibrant objects, model structure on sSet-categories, stable model category, model structure on cubical sets, generalized kernel, model structure for left fibrations, Street fibration, model structure on operads, transferred model structure, model structure for weak complicial sets, homotopy Kan extension, Cisinski model structure, fat simplex, monoid axiom in a monoidal model category, resolution, factorization lemma, simplicial Quillen adjunction, model structure on cosimplicial abelian groups, model structure on monoids in a monoidal model category, split hypercover, essential fiber, trivial model structure, model structure on simplicial algebras, model structure on reduced simplicial sets, model structure on algebras over a monad, model structure on dg-Lie algebras, cell complex, model structure on simplicial groupoids, model structure on operator algebras, monoidal Quillen adjunction, cell object, model structure on algebras over an operad, model structure on spectra, model structure on modules over an algebra over an operad, Boardman-Vogt resolution, hyper-derived functor, model structure on strict omega-categories, model structure on simplicial groups, model structure on dg-operads, model structure on dg-algebras over an operad, model structure on dg-categories, canonical model structure on groupoids, model structure for (2,1)-sheaves, model structure on dg-modules, E-infinity operad, model structure for L-infinity algebras, model structure on presheaves over a test category, model structure on cosimplicial simplicial sets, compactly generated model category, contents of contents, locally presentable categories - introduction, model structure on sSet-operads, model structure for Segal operads, generalized Reedy model structure, cartesian closed model category, model structure for Segal categories, model structure on simplicial Lie algebras, excellent model category, algebraic model category, 2-trivial model structure, locally cartesian closed model category, model structure on presheaves of spectra, fibrant object, model structure on cellular sets, model structure for dendroidal left fibrations, model structure for dendroidal Cartesian fibrations, elegant Reedy category, model structure for dendroidal complete Segal spaces, canonical model structure on Operad, projectively cofibrant diagram, model structure for infinity-groupoids, fibrant replacement, model structure on enriched categories, model topos, localization of model categories, model structure for homotopy n-types, relative category, model structure on semi-simplicial sets