Fibration categories and Type theory

http://www.lorentzcenter.nl/lc/web/2011/467/presentations/Presentation%20C%20Kapulkin.pdf

Advertisements
This entry was posted in Homotopy, homotopy type theory. Bookmark the permalink.