Pregeometric Spaces from Wolfram Model Rewriting Systems as Homotopy Types

by   Xerxes D. Arsiwalla, et al.

How do spaces emerge from pregeometric discrete building blocks governed by computational rules? To address this, we investigate non-deterministic rewriting systems (multiway systems) of the Wolfram model. We express these rewriting systems as homotopy types. Using this new formulation, we outline how spatial structures can be functorially inherited from pregeometric type-theoretic constructions. We show how higher homotopy types are constructed from rewriting rules. These correspond to morphisms of an n-fold category. Subsequently, the n →∞ limit of the Wolfram model rulial multiway system is identified as an ∞-groupoid, with the latter being relevant given Grothendieck's homotopy hypothesis. We then go on to show how this construction extends to the classifying space of rulial multiway systems, which forms a multiverse of multiway systems and carries the formal structure of an (∞, 1)-topos. This correspondence to higher categorical structures offers a new way to understand how spaces relevant to physics may arise from pregeometric combinatorial models. A key issue we have addressed here is to relate abstract non-deterministic rewriting systems to higher homotopy spaces. A consequence of constructing spaces and geometry synthetically is that it eliminates ad hoc assumptions about geometric attributes of a model such as an a priori background or pre-assigned geometric data. Instead, geometry is inherited functorially by higher structures. This is relevant for formally justifying different choices of underlying spacetime discretization adopted by models of quantum gravity. We conclude with comments on how our framework of higher category-theoretic combinatorial constructions, corroborates with other approaches investigating higher categorical structures relevant to the foundations of physics.


page 1

page 2

page 3

page 4


Homotopies in Multiway (Non-Deterministic) Rewriting Systems as n-Fold Categories

We investigate the algebraic and compositional properties of multiway (n...

Globular Multicategories with Homomorphism Types

We introduce a notion of globular multicategory with homomorphism types....

A categorical construction for the computational definition of vector spaces

Lambda-S is an extension to first-order lambda calculus unifying two app...

ZX-Calculus and Extended Hypergraph Rewriting Systems I: A Multiway Approach to Categorical Quantum Information Theory

Categorical quantum mechanics and the Wolfram model offer distinct but c...

Strictification of weakly stable type-theoretic structures using generic contexts

We present a new strictification method for type-theoretic structures th...

Sculptures in Concurrency

We give a formalization of Pratt's intuitive sculpting process for highe...

Space-time tradeoffs of lenses and optics via higher category theory

Optics and lenses are abstract categorical gadgets that model systems wi...