#HoTT categorical models of dependent type theory

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.63.8051&rep=rep1&type=pdf

http://www.cs.nott.ac.uk/~psxpc2/report-2013.pdf

Différents modèles catégoriques de la théorie des types sont donnés : «  categories with families » ( = « categories with attributes »), comprehension categories, contextual categories

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