Categorical homotopy theory

J. F. Jardine

This paper is an exposition of the ideas and methods of Cisinksi, in the context of A-presheaves on a small Grothendieck site, where A is an arbitrary test category in the sense of Grothendieck. The homotopy theory for the category of simplicial presheaves and each of its localizations can be modelled by A-presheaves in the sense that there is a corresponding model structure for A-presheaves with an equivalent homotopy category. The theory specializes, for example, to the homotopy theories of cubical sets and cubical presheaves, and gives a cubical model for motivic homotopy theory. The applications of Cisinski's ideas are explained in some detail for cubical sets.

Homology, Homotopy and Applications, Vol. 8 (2006), No. 1, pp.71-144.

Available as: dvi dvi.gz ps ps.gz pdf