Categorical homotopy theory

Abstract

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.