Quillen model structure of category of toposes/locales?

["Vidhyanath Rao" <rao.3@osu.edu>]

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