Posted by
Carl Tollander on
URL: http://friam.383.s1.nabble.com/Category-theory-Wikipedia-the-free-encyclopedia-tp523500p523504.html
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_101Most 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>
>
>
>