Three correspondences between the foundations of mathematics have been independently discovered across the twentieth century. Curry and Feys (1958) and Howard (1969/1980) established that intuitionistic propositional logic corresponds to simply typed lambda calculus. Lambek (1972) extended the correspondence to category theory. Lawvere (1970) and Tierney brought set theory into the structure through topos theory. These results are established and published. What has not been stated is the compositional collapse. The three correspondences confirm that the four foundations are structurally identical, each translatable into the others. The operational order of the cascade composes them into a single directed cycle: logic into set theory, set theory into type theory, type theory into category theory, category theory back into logic. That cycle is an endomorphism of the four-node directed graph derived in Stewart (2026b), a composition that maps the graph's operational structure back to itself. The cycle closes because it collapses: the convergence point (type theory) receives three inputs and reduces them to one output, a mandatory many-to-one reduction without which no single resolved state exists for the morphism to carry forward. The iterated endomorphism traces a torus, with the spatial loop around the four nodes and the temporal loop through the recursion. This paper derives the collapse from the four operations derived in Stewart (2026b), here termed the axioms of occurrence, and proposes the endomorphism as the structure within which quantum mechanics and general relativity already occupy defined positions. The framework proposes general relativity formalizes the logical ground, the binary record of what has and has not occurred (incident 1), and that quantum mechanics formalizes the field of all potentials (set theory, incident 2), its resolution into one determination (type theory, incident 3), and the energy that carries forward (category theory, incident 4). On this account, the incompatibility between QM and GR is the incompatibility between two partial formalisms, each built from a subset of the mathematical foundations, applied separately to different positions within a single structure. The framework proposes the unification is the endomorphic collapse itself. This is a claim about the structure any unification must instantiate. The framework proposes this structure already exists as published mathematics and that it has not been applied to physics because no one has identified the collapse as the structure both theories are inside of.
Arthur Stewart (Wed,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: