Changes from 2001-10-04 to 2001-12-05
WHAT HAS NOT CHANGED (YET):
- The IFF CategoryTheory(sub)Ontology.pdf
- The IFF Classification(sub)Ontology.pdf
WHAT HAS BEEN MODIFIED:
- Introduction.htm has been completely reworked. It is now called IFFFoundationOntology.htm.
- IFF Core Ontology has been modified. The major changes are:
- deletion of topos theory material (since it has not been used so far in either the IFF Classification Ontology or the IFF Category Theory Ontology);
- addition of a generic framework for limits;
- addition of the dual axiomatization for colimits (used in the IFF Classification Ontology).
:w
WHAT IS NEW:
* IFF BasicKIFOntology
WHAT IS YET TO COME:
- updates to Classification and Category Theory ontologies
- a new Model Theory Ontology
SUO IFF Home