Login  Register

Category theory - Wikipedia, the free encyclopedia

Posted by Mikhail Gorelkin on Feb 10, 2007; 11:07pm
URL: http://friam.383.s1.nabble.com/Category-theory-Wikipedia-the-free-encyclopedia-tp523500p523502.html

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" <[hidden email]>
To: "The Friday Morning Applied Complexity Coffee Group" <friam at 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
>