show/hide this revision's text 2 edited tags
show/hide this revision's text 1

Do simplicial objects in a Topos form a model category?

Sometimes people say "If you don't like the word 'topos', just think the category of Sets", but I'm not sure to what extent this analogy holds.

The real question here is, do simplicial object in a topos have the structure of a model category? I'm just not sure if you really need the geometric realization functor (and topological spaces) to define the usual model category structure on simplicial sets.