[FRIAM] Category theory - Wikipedia, the free encyclopedia

[Carl Tollander]

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