r the &#8220;<span style="font-style: italic;">lattice
morphism of theories</span>&#8221;. Concept morphisms consist of four
components: an
instance function, a type function and the left and right monotonic
functions of an adjoint pair connecting the concept lattices of source
and
target languages.</p>
<p>The instance (formal object) function <span
 style="font-family: arial; font-style: italic;">mod</span>(<span
 style="font-weight: bold; font-style: italic;">f</span>) : <span
 style="font-family: arial; 