Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
model category, model $\infty$-category
Definitions
Morphisms
Universal constructions
Refinements
Producing new model structures
Presentation of $(\infty,1)$-categories
Model structures
for $\infty$-groupoids
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
for equivariant $\infty$-groupoids
for rational $\infty$-groupoids
for rational equivariant $\infty$-groupoids
for $n$-groupoids
for $\infty$-groups
for $\infty$-algebras
general $\infty$-algebras
specific $\infty$-algebras
for stable/spectrum objects
for $(\infty,1)$-categories
for stable $(\infty,1)$-categories
for $(\infty,1)$-operads
for $(n,r)$-categories
for $(\infty,1)$-sheaves / $\infty$-stacks
A strict model 2-category is a strict 2-category $C$ – hence a category enriched over Cat – whose underlying category $C_1$ is equipped with the structure of a model category which is compatible, in some sense, with the folk model structure on the enrichment category Cat.
The compatibility is such that in particular the notion of homotopy limit and of pseudo-limit coincide in such model 2-category.
To state the definition of a strict model 2-category, we need the following notation:
For $C$ a category enriched over Cat and for
two morphisms in $C$, let
be the unique morphism induced from the commutativity of the diagram
The structure of a model 2-category on a strict 2-category $C$ with finite limits and colimits is
a model category structure on the underlying 1-category $C_1$;
such that
if $u : X \to Y$ is a cofibration and $v : V \to W$ is a fibration in $C_1$ then the functor $[u,v]$ defined above is an isofibration in Cat;
and $[u,v]$ is a weak equivalence (in the folk model structure on Cat, i.e. an equivalence of categories) if either of $u$ or $v$ is.
This is just the usual notion of an enriched model category specialized to enrichment over the monoidal model category $Cat$.
Every suitably complete and cocomplete 2-category admits a “trivial” or “natural” model 2-category structure in which the weak equivalences are the categorical equivalences and the fibrations are the internal isofibrations. By duality, there also is a second such model structure; in Cat both coincide with the folk model structure.
The 2-category $T Alg_s$ of algebras and strict morphisms for a suitably well-behaved (strict) 2-monad $T$ inherits a model structure where the weak equivalences are those that become weak equivalences in the underlying category. These are precisely the morphisms that are equivalences in the 2-category $T Alg$ of $T$-algebras and pseudo morphisms, so $T Alg$ is the “homotopy 2-category” of $T Alg_s$. Cofibrant replacements in this model structure can also be identified with flexible replacements in the theory of 2-monads.
The 2-category $[C,K]$ of diagrams in any 2-category $K$ also inherits two different, but Quillen equivalent, model structures, called the “projective” and “injective” model structures.
Every model 2-category has a homotopy (weak) 2-category? which can be constructed by formally making the weak equivalences into categorical equivalences. It can alternately be described using fibrant and cofibrant replacements, just like the ordinary homotopy category of a model category.
In a strict model 2-category with a natural model structure, the notions of 2-categorical pseudo-limit and (one canonical construction of) model theoretic homotopy limits coincide. For a general model 2-category, homotopy limits can be construed as representatives of 2-limits in its homotopy 2-category.
The idea that the 2-category of model categories should itself be a “2-model category” in some sense has long been an item on Mark Hovey‘s Algebraic Topology Problem List (now item 8 here). See also at Ho(CombModCat).
The original definition of model 2-categories in the above form is due to
which constructs the natural model structure and its lifting to 2-monads.
The projective and injective model structures on diagrams, and the relation between pseudo-limits and homotopy limits, are discussed in the following (especially section 6).
Last revised on October 14, 2021 at 10:47:53. See the history of this page for a list of all contributions to it.