Relationality is formalized through four mathematical universes, organized by two independent axes: internal character (process versus structure) and validation target (mathematical correspondence versus empirical correspondence). Together with relationality itself — the incited derivation that concerns the same domain as all four — these constitute five mathematical systems.
The 2×2 grid
| Mathematical correspondence | Empirical correspondence | |
|---|---|---|
| Process | Semiotic Universe | Dynamical Universe |
| Structure | QCHTTopos | Spectral Universe |
Plus: Relationality — the philosophical-mathematical framework that concerns the same domain as all four universes.
The two axes
Internal character distinguishes how a system represents determination:
- Process: signs acting, agents interacting, states evolving, meanings flowing. The system models determination as something that happens over time. The Semiotic Universe and Dynamical Universe share this processual character.
- Structure: traces, fibers, geometric coherence, spectral decomposition, measurement outcomes. The system models determination as something that holds in place. QCHTTopos and the Spectral Universe share this structural character.
Validation target distinguishes what a system proves correspondence with:
- Mathematical correspondence: the system is validated against established mathematical theorem. The Semiotic Universe validates against Heyting algebras, typed lambda calculi, and sheaf conditions. QCHTTopos validates against topos theory, Grothendieck topologies, and modal algebras.
- Empirical correspondence: the system is validated against empirical laws and experimental evidence. The Dynamical Universe validates against time-series data, thermodynamic processes, and cosmological dynamics. The Spectral Universe validates against spectral data, scattering cross-sections, and crystallographic patterns.
Independence and correspondence
The four mathematical universes are derived independently of each other:
- The mathematical-correspondence universes (Semiotic Universe, QCHTTopos) are constructed as proper mathematical objects and validated against established mathematical theorem.
- The empirical-correspondence universes (Dynamical Universe, Spectral Universe) are derived whole-cloth from empirical laws and evidence, not from the mathematical universes. They start from observable phenomena and build the minimal mathematical structure needed to faithfully represent those phenomena.
That the two columns turn out to share structure — that the Dynamical Universe resembles the flow side of the derivation, and the Spectral Universe resembles the nucleus side — is a correspondence to be established through cross-discipline work, not a derivation path. Establishing these correspondences is how “all roads lead back to relationality”: each universe is independently well-founded, and the demonstration that they cohere is itself a substantive result.
The derivation’s domain
The derivation concerns the same domain as all four universes. Its movements produce the concepts that each universe formalizes:
- The logical and algebraic recognitions (Movement I) produce the Heyting-residuated core — the domain of the Semiotic Universe and its extensions (the Interactive Semioverse and Agential Semioverse).
- The directed dynamics (Movement III) produce Flow and nucleus — the two modes of determination whose interplay underlies all four mathematical universes.
- The geometric cohesion (Movement IV) produces residuation — the domain of QCHTTopos.
- The emergent containment (Movement V) produces observables, states, evolution, and measurement — the domain of the Dynamical Universe (evolution, the Schrodinger picture) and the Spectral Universe (measurement, the Heisenberg picture).
The derivation itself is not any of the four universes. It is the philosophical-mathematical argument that articulates why these concepts arise and what incites each from the previous. The universes are independent formalizations that happen to concern the same domain.
Inducing and inciting
The derivation proceeds by two complementary modes of determination:
- Inducing is the becoming side: what a completed structure produces as output. The previous step’s structure induces new properties that were not present before.
- Inciting is the being side: what an incomplete structure compels as the next step. The undetermined remainder of a completed structure incites the next act.
These two terms replace the earlier vocabulary of “forcing,” which carried connotations of coercion rather than the generative character that the derivation actually exhibits. Each step is incited by what remains undetermined, and each step induces what the next step will need. The derivation is not imposed from outside; it unfolds from within.
Connecting structures
Two formal structures connect the universes across the grid:
- Residuation governs the interplay between the process and structure rows. At the geometric level (step 15), it is the adjunction between flow-then-closure and closure-then-flow. At the physical level (step 17), it governs the commutation of evolution and measurement. Residuation is the derivation’s signature law and the primary bridge between the process and structure sides of any universe pair.
- The Categorical Noether theorem governs conservation across both empirical universes: every symmetry of the nucleus preserves what is stable under flow. This is conservation without metric or energy — a purely relational conservation law.