The effective model structure and -groupoid objects
The effective model structure and -groupoid objects
Abstract For a category $\mathcal {E}$ with finite limits and well-behaved countable coproducts, we construct a model structure, called the effective model structure, on the category of simplicial objects in $\mathcal {E}$ , generalising the Kan–Quillen model structure on simplicial sets. We then prove that the effective model structure is …