[Haskell-cafe] Re: Best book/tutorial on category theory and its applications

Luke Palmer lrpalmer at gmail.com
Mon Jul 28 19:33:26 EDT 2008


On Mon, Jul 28, 2008 at 5:04 AM, Benjamin L. Russell
<DekuDekuplex at yahoo.com> wrote:
> 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/0521422264/ref=si3_rdr_bb_product
>>?
>
> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>


More information about the Haskell-Cafe mailing list