Differences

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

Link to this comparison view

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:
Link to graph
Log In
Improvements of the human condition