This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
category_theory [2016/04/13 18:48]
category_theory [2016/04/14 20:11] (current)
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]]
Link to graph
Log In
Improvements of the human condition