[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
categories: Re: A request for two references....
- To: "Categories" <categories@mta.ca>
- Subject: categories: Re: A request for two references....
- From: "Robert E. Kent" <rekent@ontologos.org>
- Date: Thu, 2 Aug 2001 13:45:34 -0700
- References: <15209.39480.137534.538379@merlin.cs.clemson.edu>
- Sender: cat-dist@mta.ca
----- 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