2 Aug
2001
2 Aug
'01
8:45 p.m.
----- Original Message ----- From: "Steve Stevenson" <steve@cs.clemson.edu> To: <categories@mta.ca> Sent: Thursday, August 02, 2001 11:21 AM Subject: categories: A request for two references....
2. Any attempts to develop a computer language/system in which categories are first class citizens.
I do not know whether this is what you are want, but you might consider the IFF Category Theory Ontology -- part of the IFF Foundation Ontology that I am developing. This is logically coded in a new version of KIF [see http://suo.ieee.org/Kent-IFF.pdf]. Robert E. Kent rekent@ontologos.org