Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
category_theory [2016/04/12 15:04] nikolaj |
category_theory [2016/04/13 18:48] 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: |