Suggest taking a look at Gougen http://www-cse.ucsd.edu/users/goguen/ps/manif.ps.gz (see also Mikhail's references).
or any of the earlier Baez stuff. I particularly like: http://math.ucr.edu/home/baez/planck/node5.html as a quick introduction. Stanford: http://plato.stanford.edu/entries/category-theory/ Learning Lounge on Monads: http://tunes.org/wiki/Monads_101 Most of the Cat Theory action I see is in mathematical physics and computer science. You can start to see some semantic web stuff show up in http://math.ucr.edu/home/baez/qg-spring2004/ (particularly week 1, though they don't call it that). FP folks are moving things in interesting ways, but the FP concerns seem to me to be a relatively small part of the activity overall. (Don't get me wrong, type inferencing is cool). IMHO, n-Cats, (see mostly Baez, but also http://golem.ph.utexas.edu/category/) is where I think the use of CT in complexity applications will show up, initially for model composition and recombination. Carl Owen Densmore wrote: > 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
