#nisnevich

Categorical background for A¹-homotopy theory (simplicial model categories)