I strongly second the Mazur paper - it's going to important to get a good handle on what Category Theory folks mean by equivalence.
Carl Mikhail Gorelkin wrote: > Here is a gentle (conceptual) introduction into the category theory > ------------------------------------------------------------------ > > http://www.cs.toronto.edu/~sme/presentations/cat101.pdf > http://en.wikipedia.org/wiki/Natural_transformation > http://www.math.harvard.edu/~mazur/preprints/when_is_one.pdf > http://www.informatics.bangor.ac.uk/public/math/research/ftp/cathom/05_10.pdf > > there is something in "Life Itself" by Robert Rosen > > Basic Category Theory for Computer Scientists (Foundations of Computing) by > Benjamin C. Pierce > > Categories for Software Engineering by José L. Fiadeiro > > Category Theory for Computing Science by Michael Barr and Charles Wells > (it's not gentle at all :-)) > > There are several articles of J. Goguen about connection between category > theory and general systems theory: > > 1) J. Goguen (1973) Categorial foundations for general systems theory > 2) J. Goguen, S. Ginali (1978) A categorial approach to general systems > theory > 3) J. Goguen (1991) A categorial manifesto > > + > http://users.viawest.net/~keirsey/princomplexica.html (here is a connection > between complexica and the category theory) > http://www.ralph-abraham.org/articles/MS%23108.Complex/complex.pdf > > --Mikhail > > ----- Original Message ----- > From: "Owen Densmore" <[EMAIL PROTECTED]> > To: "The Friday Morning Applied Complexity Coffee Group" <friam@redfish.com> > Sent: Saturday, February 10, 2007 4:48 PM > Subject: [FRIAM] Category theory - Wikipedia, the free encyclopedia > > > >> We've knocked around the term Category Theory a bit lately, so I >> started looking into it a bit. This seems to be a reasonable >> starting place: >> http://en.wikipedia.org/wiki/Category_theory >> >> Has anyone used this in complexity science work? Or semantic web >> work? Or anything else? :) >> >> I know Amazon turns up Russell Standish's book first in a search for >> category theory! >> >> -- Owen >> >> Owen Densmore http://backspaces.net >> "You can do Anything, but not Everything!" >> >> >> >> >> ============================================================ >> FRIAM Applied Complexity Group listserv >> Meets Fridays 9a-11:30 at cafe at St. John's College >> lectures, archives, unsubscribe, maps at http://www.friam.org >> >> > > > ============================================================ > FRIAM Applied Complexity Group listserv > Meets Fridays 9a-11:30 at cafe at St. John's College > lectures, archives, unsubscribe, maps at http://www.friam.org > > > > ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College lectures, archives, unsubscribe, maps at http://www.friam.org
