Kapulkin, Szumilo : quasicategories of frames of cofibration categories

Advertisements
This entry was posted in ∞-catégories, homotopy type theory. Bookmark the permalink.