13 Mar
2004
13 Mar
'04
12:50 a.m.
I would like some references to model structures on the category of toposes/locales (thinking of them as generalized spaces), perhaps even the category of internal toposes of a given (boolean?) topos. What I know of is about model structures on the category of simplicial objects in a topos. Along the same lines, does it make sense to ask about ``internally simplicial objects'' in a topos with an NNO (i.e., do such toposes have an internal category that looks like the category of internally ``finite sets with linear order and order preserving maps'')? Nath Rao