André Joyal : quasicategories and Kan complexes

https://web.math.rochester.edu/people/faculty/doug/otherpapers/Joyal-QCKC.pdf

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