(∞,1)-quasitopos

https://ncatlab.org/nlab/show/%28infinity%2C1%29-quasitopos

https://golem.ph.utexas.edu/category/2012/10/object_classifiers_and_1quasit.html

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