Joyal’s conjecture in #HoTT

http://d-scholarship.pitt.edu/21718/1/Kapulkin-dissertation.pdf#page143

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