Type-theoretic model category

https://ncatlab.org/nlab/show/type-theoretic+model+category

Page citée sur celle ci :

https://ncatlab.org/nlab/show/identity+type

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