ry morphisms to
the pair. Any span of theories has a <span style="font-style: italic;">fusion</span>,
which is the appropriate
quotient theory modulo the span on the sum of the underlying theory
pair.<br>
</p>
<h2><a name="The_Lattice_of_Theories"></a>The Lattice of Theories</h2>
<p>The lattice of theories is represented in IFF-ONT, the IFF Ontology
(meta) Ontology. This parallels much of the Formal Concept Analysis
(FCA) development in the IFF Upper Classification Ontology (IFF-UCLS).
The mathematical theo