3 ms·
I really want to understand about morphisms and category theory after reading this. Can anyone point out any good introduction to the category theory behind tho
by wreckimnaked 13y ago
I really want to understand about morphisms and category theory after reading this. Can anyone point out any good introduction to the category theory behind those catamorphisms?
- sfvisser 13y agoMore of a programming than a CT introduction, but very useful nonetheless: Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (1991), by Erik Meijer, Maarten Fokkinga, Ross Paterson
- Toshio 13y agoThese slides may be of some help. http://yogsototh.github.com/Category-Theory-Presentation http://yogsototh.github.com/Category-Theory-Presentation
- gtani 13y agohere's some course materials http://www.cse.chalmers.se/edu/course/afp/lectures.html http://www.cse.chalmers.se/edu/course/afp/lectures.html http://www.scs.stanford.edu/11au-cs240h/notes/ http://www.scs.stanford.edu/11au-cs240h/notes/ http://www.seas.upenn.edu/~cis194/lectures.html http://www.seas.upenn.edu/~cis194/lectures.html