#Enriched Category Theory

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