Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
category_theory [2016/04/13 18:48] nikolaj |
category_theory [2016/04/14 20:11] nikolaj |
||
---|---|---|---|
Line 116: | Line 116: | ||
Categories and Setiods in Type Theory: | Categories and Setiods in Type Theory: | ||
[[http://arxiv.org/pdf/1408.1364.pdf | arXiv link]] | [[http://arxiv.org/pdf/1408.1364.pdf | arXiv link]] | ||
+ | |||
+ | A type theory of categories | ||
+ | [[http://www.brics.dk/RS/01/27/ | webpage link]] | ||
==== Parents ==== | ==== Parents ==== | ||
=== Requirements === | === Requirements === | ||
[[Dependent type theory]], [[Predicate logic]] | [[Dependent type theory]], [[Predicate logic]] |