Introduction to ∞-categories

https://pages.uoregon.edu/njp/tanaka.pdf

This entry was posted in category theory, EHTT, Higher category theory, homotopy type theory, HTTUF, Science, mathesis. Bookmark the permalink.