Voevodsky : a C-system defined by a universe category

https://arxiv.org/pdf/1409.7925.pdf

Advertisements
This entry was posted in category theory, Higher category theory, homotopy type theory, Science, mathesis, Science-internelle. Bookmark the permalink.