On Mon, Jul 28, 2008 at 5:04 AM, Benjamin L. Russell
Category Theory Lecture Notes for ESSLLI Michael Barr, Department of Mathematics and Statistics, McGill University Charles Wells, Department of Mathematics, Case Western Reserve University http://www.math.upatras.gr/~cdrossos/Docs/B-W-LectureNotes.pdf
So far this has been an excellent read for someone failing to grok category theory for a while! Thanks! Luke
The above-mentioned lecture notes were condensed from the following book, and then rearranged to present category theory from a computer science perspective:
Toposes, Triples and Theories by Michael Barr and Charles Wells http://www.cwru.edu/artsci/math/wells/pub/ttt.html
According to the above-referenced home page for this book:
The original book, Grundlehren der math. Wissenschaften 278. Springer-Verlag, 1983, is now out of print. A revised and corrected version is now available free for downloading.
An even shorter book on category theory is the following:
A Gentle Introduction to Category Theory - the calculational approach by Maarten M Fokkinga http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html
However, I did not prefer the above book, despite its brevity, because unlike the other two titles, it did not including any specific material on monads.
What do you think about "Categories and Computer Science (Cambridge Computer Science Texts)" at http://www.amazon.com/Categories-Computer-Science-Cambridge-Texts/dp/0521422... ?
I haven't read it, so I would need to review it before giving an opinion. I shall keep it in mind, however; thank you for the reference.
-- Benjamin L. Russell
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe