Théories homotopiques dans les topos, by Denis-Charles Cisinski
The purpose of these notes is to give an ad hoc construction of a closed
model category structure on a topos inverting an arbitrary small set of
arrows. Moreover, a necessary and sufficient condition for those structures
to be proper is given. As an example, the Joyal closed model category
structure on the category of simplicial objects of a topos is constructed
without the use of (boolean) points.
Denis-Charles Cisinski <cisinski@math.jussieu.fr>