A four-lesson sequence covering the construction and universal property of the semiotic universe: the mathematical structure in which semantic objects form a complete Heyting algebra with modal closure and trace comonad, syntactic operators are generated by a typed lambda calculus, and fusion brings syntax and semantics into full coherence.
Prerequisites
The semiotics lessons — especially From Signs to Formal Structure — motivate why these mathematical structures are needed. Familiarity with Heyting algebras, closure operators, and intuitionistic logic is assumed; the mathematics curricula on those topics provide the background.
Sequence
- The Semantic Domain — the complete Heyting algebra , the modal closure operator , the trace comonad , and their interaction axioms
- Syntactic Operators — the typed lambda calculus that generates operators, the interpretation mapping, and the seven coherence conditions
- Fragments and Fusion — fragments as finite substructures, fragmentwise reasoning, fusion as closure and reflection, the three closure operators, and the least fixed point
- The Semiotic Universe — the universal property, initiality, the 2-category of semiotic structures, and the connection back to semiotic theory