A semiotic structure is a pair X = (H_X, Op_X) consisting of semantic data and syntactic operators, equipped with the closure operators that generate the semiotic universe.
The semantic component H_X is a subset of the complete Heyting algebra H — the collection of semantic objects (meanings, truth values, propositions) available in this structure. The syntactic component Op_X is a subset of the definable operators — the syntactic operations that can be performed within this structure.
A partial semiotic structure is one where the closures have not yet reached their fixed point: some semantic behaviors lack syntactic names, or some syntactic distinctions make no semantic difference. The three closure operators — semantic (S_sem), syntactic (S_syn), and fusion (S_fus) — act on partial structures to close these gaps. Their composite S = S_fus ∘ S_syn ∘ S_sem is monotone and inflationary on the complete lattice of partial structures, so by the Knaster-Tarski theorem it has a least fixed point.
That least fixed point is the semiotic universe: the smallest semiotic structure in which syntax and semantics are fully coherent. It is initial in the 2-category of semiotic structures — any other semiotic structure receives a unique structure-preserving map from it.
The initiality means the semiotic universe contains no more structure than what the closures force. Every element of H_X and every operator in Op_X is there because the closure process required it, not because it was added by choice. This is what makes it a universe rather than a model: it is the canonical, minimal structure satisfying the coherence requirements.