n style="font-style: italic;">interpretation </span>is a type
language morphism from one type language to
the expressions of another type language.<br>
</p>
<h3><a name="Model"></a>Model</h3>
<p style="text-align: justify;">The IFF gives a (somewhat novel)
category-theoretic axiomatization for first-order model theory based
upon the two fundamental ideas of classification and hypergraph. In one
sense, an IFF model is a hypergraph of classifications. In place of
nodes, there is a classification of entities, 