ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Axiomatic ontology

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Tue, 23 Sep 2008 13:51:59 -0500
Message-id: <6C137429-1E18-4D1C-A2EB-33245288A45B@xxxxxxx>

On Sep 22, 2008, at 9:14 AM, Antoinette Arsic wrote:    (01)

> Pat,
>
> "Well you did ask," :-)  I could say that studies show that singing  
> to my plants (music, gardening and botany) helps them grow. On a  
> more serious note I would like a good intro to category theory as  
> you have defined it here pertaining to math: "Category theory is a  
> branch of pure
> mathematics, a kind of ultimate abstraction of algebra, which focusses
> on systems ('categories') defined by mappings "
>    (02)

My own bible is "categories for the working mathematician"  by  
Saunders MacLane, (Springer 1971, ISBN 0-387-90036-5) but admittedly  
this is only a 'introduction' if you already have a math degree, and  
its probably now way out of date. I havn't had any need to scan recent  
texts, I'm afraid.    (03)

Pat    (04)



> THanks,
> Antoinette
>
> SGIS
> Antoinette Arsic
> Sr. Systems Engineer
> 8618 Westwood Center Drive, Suite 100
> Vienna, VA 22182
> 703-506-8621
> 443-567-2703
> aarsic@xxxxxxxx
> www.SGIS.com
> ________________________________________
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx 
>[ontolog-forum-bounces@xxxxxxxxxxxxxxxx 
> ] On Behalf Of Pat Hayes [phayes@xxxxxxx]
> Sent: Saturday, September 20, 2008 6:05 PM
> To: [ontolog-forum]
> Subject: Re: [ontolog-forum] Axiomatic ontology
>
> On Sep 20, 2008, at 8:47 AM, Rob Freeman wrote:
>
>> I would welcome comments on a possible relationship between gauge
>> theories in physics, Category Theory in maths, and semantics.
>>
>
> Well, you did ask. These three topics have absolutely nothing whatever
> to do with one another. Gauge theories focus on symmetries in physical
> theory: that is, ways in which theories are invariant under various
> mathematical transformations. Category theory is a branch of pure
> mathematics, a kind of ultimate abstraction of algebra, which focusses
> on systems ('categories') defined by mappings . Semantics is concerned
> with the relationship between representations and what it is that they
> represent. One might as well ask for comments on a possible
> relationship between botany, music and gardening.
>
> Let me ask in return, what was it that  suggested to you that these
> three topics might have any relationship?
>
> Pat
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
>
>    (05)

------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes    (06)






_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (07)

<Prev in Thread] Current Thread [Next in Thread>