#Monoidal Categories

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