#enriched

Walk-through to Morel-Voevodsky A¹-homotopy theory, page 48-50