To: | henson <henson.graves@xxxxxxxxxxx> |
---|---|
Cc: | andrei rodin <andrei@xxxxxxxxxxxxxxx>, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
From: | Alex Shkotin <alex.shkotin@xxxxxxxxx> |
Date: | Tue, 8 Jul 2014 18:39:38 +0400 |
Message-id: | <CAFxxROSwjr812085+Kxs3vNscp43bMhZ9bQtfB_aetRt7daUNw@xxxxxxxxxxxxxx> |
Henson,
just a few summer words about categories and Set theory. 1) Consider a very subtle category, may be a topos. Let's forget about composition for a moment - we get digraph.
Formal theory of digraphs itself is very interesting as it does not have an axioms at all. We just need signature <Sorts ob, ar; Functions dom ar:ob, cod ar:ob>.
Well, we keep in mind that dom, cod are a full functions, but it's usual in math. Unfortunately this important theory does not mentioned in great list
2) Goldblatt has mentioned somewhere in his book that we may look at ∈ as an arrow from element to set.
What Set theory does study then? Huge digraph:-) It's more or less simple:
- there is no loops and cycles, - there is no parallel arrows,
- there are sources (∅, pra-elements); - there are sinks - classes;
...
But how many outcome arrows does have not a class? It's greater than any cardinal number. Alex
2014-07-07 19:27 GMT+04:00 henson <henson.graves@xxxxxxxxxxx>:
_________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01) |
Previous by Date: | Re: [ontolog-forum] Patent application for using a formal ontology in NLP, John F Sowa |
---|---|
Next by Date: | Re: [ontolog-forum] Types of Formal (logical) Definitions inontology, henson |
Previous by Thread: | Re: [ontolog-forum] Types of Formal (logical) Definitions inontology, henson |
Next by Thread: | Re: [ontolog-forum] Types of Formal (logical) Definitions inontology, henson |
Indexes: | [Date] [Thread] [Top] [All Lists] |