Kapulkin : Joyal’s conjecture in #HoTT

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

Advertisements
This entry was posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, homotopy type theory, Philosophie mathématique, Science-internelle and tagged , , . Bookmark the permalink.