model structure on strict omega-categories
Model category theory
Producing new model structures
Presentation of -categories
for stable/spectrum objects
for stable -categories
for -sheaves / -stacks
The model structure on strict -categories is a model category structure that presentes the (∞,1)-category of strict ω-categories.
It resticts to the model structure on strict ω-groupoids.
These structures also go by the name canonical model structure or folk model structure.
Every object is fibrant. The acyclic fibrations are precisely the functors that are k-surjective functors for all .
This is proven in (AraMetayer).
The model structure on strict ω-groupoids was introduced in
- Ronnie Brown, Marek Golasinski; A model structure for the homotopy theory of crossed complexes (numdam)
The model structure on strict -categories was discussed in
Dicussion of cofibrant resolution in this model structure by polygraphs/computad is in
The relation betwee then model structure on strict -categories and that on strict -groupoids is established in
Revised on February 8, 2012 16:47:11
by Ronnie Brown