Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
category_theory [2016/03/08 14:23] nikolaj |
category_theory [2016/04/12 15:03] nikolaj |
||
---|---|---|---|
Line 105: | Line 105: | ||
nLab: [[http://ncatlab.org/nlab/show/category|Category]], [[http://ncatlab.org/nlab/show/type-theoretic+definition+of+category|Type theoretic definition of category]], [[http://ncatlab.org/nlab/show/strict+category|strict categories]], [[http://ncatlab.org/nlab/show/Trimble+on+ETCS+I|Trimble on ETCS I]], and links therein. | nLab: [[http://ncatlab.org/nlab/show/category|Category]], [[http://ncatlab.org/nlab/show/type-theoretic+definition+of+category|Type theoretic definition of category]], [[http://ncatlab.org/nlab/show/strict+category|strict categories]], [[http://ncatlab.org/nlab/show/Trimble+on+ETCS+I|Trimble on ETCS I]], and links therein. | ||
+ | |||
+ | Categories and Setiods in Type Theory: | ||
+ | http://arxiv.org/pdf/1408.1364.pdf | ||
==== Parents ==== | ==== Parents ==== | ||
=== Requirements === | === Requirements === | ||
[[Dependent type theory]], [[Predicate logic]] | [[Dependent type theory]], [[Predicate logic]] |