Thanks much Chris! You and John have been very helpful to me and others. (01)
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 Christopher Menzel
[cmenzel@xxxxxxxx]
Sent: Monday, September 22, 2008 11:49 AM
To: [ontolog-forum]
Subject: Re: [ontolog-forum] Axiomatic ontology (02)
Pat, (03)
"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". (04)
Rob Goldblatt's Topoi: The Categorical Analysis of
Logic<http://www.amazon.com/Topoi-Categorial-Analysis-Logic-Mathematics/dp/0486450260/ref=tag_tdp_sv_edpp_i>
is a good place to start. It's written in a friendlier style than most
introductions. It's focus is specifically on the application of category
theory to logic, but it does provide a general overview of category theory.
The book asssumes the reader already knows a good bit of mathematical logic and
set theory. Conceptual Mathematics: A First Introduction to
Categories<http://www.amazon.com/Conceptual-Mathematics-First-Introduction-Categories/dp/0521478170/ref=pd_sim_b_1>
by Schanuel and Lawvere is often cited as a place to start, but I myself found
this book very hard. You might also give the Wikiversity
course<http://en.wikiversity.org/wiki/Introduction_to_Category_Theory#How_can_you_help.3F>
a look. (05)
-chris (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)
|