C[omp]ute

From: "andrew cooke" <andrew@...>

Date: Wed, 21 Jan 2004 19:20:38 -0300 (CLST)

[... soon category theory became a field in itself. The reason for this is
that it provides a unifying and economic mathematical modeling language.
It lends itself very well to extracting and generalizing elementary and
essential notions and constructions from many mathematical disciplines -
http://www.risc.uni-linz.ac.at/research/category/]

I need to learn category theory.  But from what book?  Looking at Amazon,
the first few hits are:

Post Modern Algebra - looks interesting, but very expensive and only one
recommendation on Amazon (via a personal list) -
http://www.amazon.com/exec/obidos/tg/detail/-/0471127388

Basic Category Theory for C Scientists - good reviews, concise, looks a
little unambitious/boring -
http://www.amazon.com/exec/obidos/tg/detail/-/0262660717

Types and Programming Languages - more practical, but even less ambitious?
- http://www.amazon.com/exec/obidos/tg/detail/-/0262162091

Categories, Types and Structures... - no reviews, but yay! available for
download.  The ftp site listed on Amazon doesn't have it, but a little
googling turns up http://www.di.ens.fr/users/longo/download.html -
http://www.amazon.com/exec/obidos/tg/detail/-/0262011255

Googling also turned up:

(paid link on Google) Category Theory for the Computing Science -
http://www.cwru.edu/artsci/math/wells/pub/ctcs.html - which has a good
price (no reviews on Amazon, which lists it as out of print).

Interesting summary - http://plato.stanford.edu/entries/category-theory/

80 page introduction - http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html

Comprehensive Wikipedia entry - http://en2.wikipedia.org/wiki/Category_theory

Andrew

-- 
personal web site: http://www.acooke.org
personal mail list: http://www.acooke.org/andrew/compute.html

_______________________________________________
compute mailing list
compute@...
https://200.83.153.5/cgi-bin/mailman/listinfo/compute