 of
their intents. The left adjoint monotonic function <span
 style="font-family: arial; font-style: italic;">left</span>(<span
 style="font-style: italic; font-weight: bold;">f</span>) : <span
 style="font-family: arial; font-style: italic;">cloth</span>(<span
 style="font-style: italic; font-weight: bold;">&#321;</span>) &#8594; <span
 style="font-family: arial; font-style: italic;">cloth</span>(<span
 style="font-weight: bold; font-style: italic;">L</span>) maps a closed
theory of the target language to 