In the semiotic universe, the modality is a closure operator j: H → H on the complete Heyting algebra satisfying four conditions:
- Extensive: a ≤ j(a) — closure never loses information
- Monotone: a ≤ b implies j(a) ≤ j(b) — order is preserved
- Idempotent: j(j(a)) = j(a) — closing twice is the same as closing once
- Join-continuous: j(⋁ᵢ aᵢ) = ⋁ᵢ j(aᵢ) — closure distributes over arbitrary joins
The first three conditions make j a closure operator. The fourth — join-continuity — is the specifically modal condition. It ensures that j interacts well with the lattice structure and that the stable fragment H^st = {a ∈ H : j(a) = a} is itself a complete Heyting subalgebra of H.
The modality determines what counts as stable in the semiotic universe. An element a is stable (j-closed) if j(a) = a — applying the closure does not change it. The stable fragment H^st contains exactly those semantic objects that survive the closure discipline. Transient elements (where j(a) > a) carry information that has not yet been stabilized.
In topos-theoretic terms, j is a Lawvere-Tierney topology on the internal logic: it determines which propositions count as “locally true” and which presheaves count as sheaves.
The modality interacts with the trace comonad G through the inequality j(G(a)) ≤ G(j(a)): stabilizing a traced element yields something below the trace of the stabilized element. This ensures that temporal unfolding and modal stabilization are compatible.