A mathematical universe is a formal structure within which mathematical objects, relations, and operations are defined: the domain of discourse for a given mathematical system. It specifies what exists (which objects), how those objects relate, and what operations can be performed on them.
The concept plays a role analogous to what set theory plays for standard mathematics — it provides the foundational context that gives meaning to all subsequent statements. A mathematical statement is not true or false in isolation but true or false within a given mathematical universe.
The Semiotic Universe
The primary mathematical universe developed in this vault is the Semiotic Universe: a complete Heyting algebra with modal closure and Heyting-comonadic trace, extended with a typed lambda calculus and three closure operators (semantic, syntactic, and fusion). The composite of these closure operators yields a least fixed point: the initial semiotic structure — the minimal universe in which sign relations, meaning, and formal inference can be expressed.
The Semiotic Universe is not a universe in the physical sense. It is a formal mathematical structure that defines the space within which the relational framework is developed. Physical space, time, and matter are not presupposed; only the abstract relations of the Heyting algebra and its extensions are given.
Mathematical Universes and the Relational Framework
The relational framework holds that relations are ontologically prior to entities. Mathematical universes instantiate this claim at the formal level: a mathematical universe is itself defined by its relational structure (the algebra, the operations, the closure conditions) rather than by a prior inventory of objects. Objects in the universe are what the relational structure defines, not what is given independently.
This makes the choice of mathematical universe a philosophical decision, not merely a technical one. The Heyting algebra that grounds the Semiotic Universe reflects an intuitionistic logic in which truth is constructive — a proposition is true only if there is a proof of it, not merely if it is not false. This aligns with the relational framework’s resistance to treating the unknown as a possession yet to be claimed.
Related terms
- Semiotic Universe — the specific mathematical universe developed in this vault
- material universe — the universe of physical matter, energy, and space; studied through cosmology and natural science
- mathematics — the discipline that studies formal structures and their relations