Semiotic Universe Glossary
complete Heyting algebra
A complete lattice with implication where meets and joins exist for all subsets.
modality
A closure operator j that is monotone, extensive, idempotent, and preserves
joins.
trace comonad
A comonad G on the Heyting algebra that also preserves the Heyting operations.
fragment
A finitely generated modal-temporal Heyting subalgebra of the semantic domain.
fragment-preserving
An operator that maps each fragment back into itself.
fusion
A closure operation that identifies syntactic operators when their semantic interpretations agree on all fragments.
semiotic structure
The pair of semantic data and syntactic operators equipped with the closure operators that generate the semiotic universe.