  We construct models for the motivic homotopy category based on simplicial
functors from smooth schemes over a field to simplicial sets. These spaces are
homotopy invariant and therefore one does not have to invert the affine line in
order to get a model for the motivic homotopy category.
