Posted by
Mikhail Gorelkin on
Feb 11, 2007; 2:03pm
URL: http://friam.383.s1.nabble.com/Category-theory-Wikipedia-the-free-encyclopedia-tp523500p523505.html
know only one software company which uses categories - ATX Software,
Portugal. Interesting articles are here:
http://www.atxsoftware.com/?sec=articleP.S. A good book about math: "Meta Math! The Quest for Omega" by Cregory
Chaitin (a mathematician from IBM Research and a friend of Stephen Wolfram)
--Mikhail
----- Original Message -----
From: "Carl Tollander" <
[hidden email]>
To: "The Friday Morning Applied Complexity Coffee Group" <friam at redfish.com>
Sent: Saturday, February 10, 2007 7:33 PM
Subject: Re: [FRIAM] Category theory - Wikipedia, the free encyclopedia
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" <owen at backspaces.net>
> 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>>
>>
>
>
> ============================================================
> 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