C[omp]ute

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

Date: Sun, 15 Feb 2004 18:22:59 -0300 (CLST)

Another paper (or book - 160 pages), from Andris Birkmanis on lambda -
http://citeseer.nj.nec.com/martini96element.html

Andrew

andrew cooke said:
>
> [... 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
>
>


-- 
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