Type- theoretic definition of a category

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

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