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
The model structure on strict -categories was discussed in
Dicussion of cofibrant resolution in this model structure by polygraphs/computad is in
The relation between the model structure on strict -categories and that on strict -groupoids is established in
Revised on September 13, 2014 19:28:15
by Tim Porter