Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
category_theory [2016/04/12 15:04] nikolaj |
category_theory [2016/04/14 20:11] (current) nikolaj |
||
|---|---|---|---|
| Line 110: | Line 110: | ||
| [[http://ncatlab.org/nlab/show/Trimble+on+ETCS+I|Trimble on ETCS I]], | [[http://ncatlab.org/nlab/show/Trimble+on+ETCS+I|Trimble on ETCS I]], | ||
| and links therein. | and links therein. | ||
| + | |||
| + | Haskell.org: | ||
| + | [[https://wiki.haskell.org/User:Michiexile/MATH198 | Category theory & functional programming lecture notes]] | ||
| 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]] | ||
