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/04/12 15:03] nikolaj |
category_theory [2016/04/12 15:04] nikolaj |
||
|---|---|---|---|
| Line 102: | Line 102: | ||
| === Reference === | === Reference === | ||
| - | Wikipedia: [[https://en.wikipedia.org/wiki/Category_%28mathematics%29|Category (mathematics)]], [[https://en.wikipedia.org/wiki/Category_theory|Category theory]] | + | Wikipedia: |
| + | [[https://en.wikipedia.org/wiki/Category_%28mathematics%29|Category (mathematics)]], [[https://en.wikipedia.org/wiki/Category_theory|Category theory]] | ||
| - | 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: | Categories and Setiods in Type Theory: | ||
| - | http://arxiv.org/pdf/1408.1364.pdf | + | [[http://arxiv.org/pdf/1408.1364.pdf | arXiv link]] |
| ==== Parents ==== | ==== Parents ==== | ||
| === Requirements === | === Requirements === | ||
| [[Dependent type theory]], [[Predicate logic]] | [[Dependent type theory]], [[Predicate logic]] | ||
