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
The concept of weak model categories is a relaxation of that of model categories, even weaker than the concept of semimodel categories, but such that it still allows for a rich theory largely analogous to that of actual model categories:
The weak analogue of the construction of the homotopy category of a model category still exists, as do notions of Quillen adjunction and Quillen equivalence.
Also, for example, an analogue of left or right Bousfield localization of model categories still makes sense for weak model categories; and, as a bonus in contrast to the usual case, it does not require the assumption of left or right properness.
A weak model category is a premodel category that satisfies the following two axioms:
Cylinder axiom: Every cofibration $A\to X$ from a cofibrant object to a fibrant object admits a relative strong cylinder object
where the left map is a cofibration and its first component $X\to I_A X$ is an acyclic cofibration.
Path object axiom: Every fibration $A\to X$ from a cofibrant object to a fibrant object admits a relative strong path object
where the right map is a fibration and its first component $P_X A\to A$ is an acyclic fibration.
A premodel category can be upgraded to a weak model category as follows.
If a premodel category admits a weak Quillen cylinder, then it is a weak model category.
A weak Quillen cylinder on a premodel category $C$ is a pair of left adjoint functors $I,D\colon C\to C$ together with the following commutative square of natural transformations of functors $C\to C$:
where $\nabla$ is the codiagonal, $i$ is a cofibration, $j$ is a trivial cofibration, and the first component of $i$ is a trivial cofibration.
Here a natural transformation $\lambda\colon F\to G$ of functors $C\to C$ is a cofibration if for any (trivial) cofibration $X\to Y$ the map $F(Y)\sqcup_{F(X)}G(X)\to G(Y)$ is a (trivial) cofibration. Likewise, $\lambda$ is a trivial cofibration if for any cofibration $X\to Y$ the above map is a trivial cofibration.
Reference: Henry 20, Section 6.
This is essentially a reformulation of Cisinski-Olschok theory?.
Model categories can be singled out from weak model categories
by adding the following properties:
Every fibrant object admits a strong path object and every cofibrant object admits a strong cylinder object.
All acyclic cofibrations are trivial cofibrations and all acyclic fibrations are trivial fibrations. (Trivial maps are given as data for a premodel category, whereas acyclic (co)fibrations are defined as (co)fibrations that satisfy a right (left) lifting property with respect to the class of cofibrations with cofibrant source (respectively fibrations with fibrant target.)
The two classes of weak equivalence corresponding to the left and right induced semimodel structures coincide.
Every combinatorial weak model category can be connected to a combinatorial model category by a zigzag of Quillen equivalences.
(weak model structure on semi-simplicial sets)
There is a weak model structure on semi-simplicial sets which is Quillen equivalen to that on simplicial sets. (Henry 18, Thm. 5.5.6).
Simon Henry, Weak model categories in classical and constructive mathematics, Theory and Applications of Categories, Vol. 35, 2020, No. 24, pp 875-958. (arXiv:1807.02650, tac:35-24)
Simon Henry, Combinatorial and accessible weak model categories (arXiv:2005.02360)
Last revised on June 26, 2021 at 09:41:50. See the history of this page for a list of all contributions to it.