Categorical structures for Type theory in univalent foundations

https://hal.inria.fr/hal-01579271/document

Advertisements
This entry was posted in category theory, EHTT, Higher category theory, homotopy type theory, Type theory. Bookmark the permalink.