 years now, I have been arguing for a lattice of theories
    as a framework for relating various ontologies.  The IFF developers
    have assured me that their framework is general enough to accommodate
    the lattice I would like to see as a special case.  I believe that is
    probably true.  I also believe that category theory is the proper
    formalism to use for what the IFF is supposed to do.

JS: But if the IFF developers cannot write a readable document that
    presents their ideas, I suggest th