A projective model structure on pro-simplicial sheaves, and the relative étale homotopy type (Q2634796)

The authors introduce a notion of weak fibration category, a category with classes of fibrations and weak equivalences satisfying suitable axioms. Subject to certain additional requirements, they obtain a model structure on the pro-category of a weak fibration category. In particular they obtain a model structure on the category of pro-simplicial sheaves on a small Grothendieck site. From this, by using derived functors, they obtain a definition for étale homotopy types. They also obtain liftings of relative étale homotopy types by constructing pro-objects associated to maps of topoi.