>Model</span> &#8594; <span
 style="font-family: arial; font-weight: bold;">Logic</span> form a <span
 style="font-style: italic;">component
model </span>or <span style="font-style: italic;">projection</span>
generalized inverse <span style="font-family: arial;">&#960;</span>. The
semantics generalized inverse is
the
composition of the integration generalized inverse with the component
model generalized inverse. <br>
</p>
<h3><a name="Colimits"></a>Colimits</h3>
<p>There is an initial language consisting of