Presents a framework for applying the standard methods from homotopy theory to the category of smooth schemes over a base scheme $k$. This text defines the homotopy category $h(mathcal_k)$ of smooth $k$-schemes and shows that it plays the same role for