 In Figure 3, each small colored rectangle of the theory
context represents a fiber of theories (and theory morphisms) over a
fixed type language. For example, the pea-green colored small rectangle
in the lower middle part of the theory context is the fiber over the
language <span style="font-style: italic; font-weight: bold;">L</span>.
Since theory morphisms within a fiber are mapped to the
identity type language morphism at the indexing language, they are
equivalent to the (opposite) lattice ordering. Thi