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