• Corpus ID: 243832933

Pregeometric Spaces from Wolfram Model Rewriting Systems as Homotopy Types

  title={Pregeometric Spaces from Wolfram Model Rewriting Systems as Homotopy Types},
  author={Xerxes D. Arsiwalla and Jonathan Gorard},
How do spaces in physics emerge from pregeometric discrete building blocks governed by computational rules? To address this question we investigate non-deterministic rewriting systems (so-called multiway systems) of the Wolfram model. We formalize these rewriting systems as homotopy types. Using this new formulation of the model, we outline how spatial structures can be functorially inherited starting from pregeometric type-theoretic constructions. We show how higher homotopy types are… 

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

It is shown that a multiway rewriting system with homotopies up to order n may naturally be formalized as an n-fold category, such that (upon inclusion of appropriate inverse morphisms via invertible rewriting relations) the infinite limit of this structure yields an∞-groupoid.

On the Operator Origins of Classical and Quantum Wave Functions

We investigate operator algebraic origins of the classical Koopman-von Neumann wave function ψ KvN as well as the quantum mechanical one ψ QM . We introduce a formalism of Operator Mechanics (OM)

On the Emergence of Spacetime and Matter from Model Sets

Starting from first principles and the mathematics of model sets we propose a framework where emergence of spacetime and matter can be addressed.

An Invitation to Higher Arity Science

Analytical thinking is dominated by binary ideas. From pair-wise interactions, to algebraic operations, to compositions of processes, to network models, binary structures are deeply ingrained in the



A type theory for synthetic ∞-categories

We propose foundations for a synthetic theory of $(\infty,1)$-categories within homotopy type theory. We axiomatize a directed interval type, then define higher simplices from it and use them to

Elements of ∞-Category Theory

The language of ∞-categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated. To explain what exactly an

AQFT from n-Functorial QFT

There are essentially two different approaches to the axiomatization of quantum field theory (QFT): algebraic QFT, going back to Haag and Kastler, and functorial QFT, going back to Atiyah and Segal.

The Univalence Principle

A general definition of indiscernibility for objects of any structure, and a corresponding univalence condition that generalizes Rezk's completeness condition for Segal spaces and ensures that all equivalences of structures are levelwise equivalences, mean that Univalent Foundations is a fully equivalence-invariant foundation for higher-categorical mathematics, as intended by Voevodsky.

Polygraphs of finite derivation type

Craig Squier proved that, if a monoid can be presented by a finite convergent string rewriting system, then it satisfies the homological finiteness condition left-FP3. Using this result, he

Differential cohomology in a cohesive infinity-topos

We formulate differential cohomology and Chern-Weil theory -- the theory of connections on fiber bundles and of gauge fields -- abstractly in the context of a certain class of higher toposes that we

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

The objective of the present article is to begin elucidating the formal correspondence between the two methodologies in the context of the ZX-calculus formalism of Coecke and Duncan for reasoning diagrammatically about linear maps between qubits.

Some Quantum Mechanical Properties of the Wolfram Model

This paper proves (using various combinatorial and order-theoretic techniques) that the geometry of the multiway evolution graph converges to that of complex projective Hilbert space in the continuum limit, and proceed to use this information to derive the analog of the Einstein field equations for the overall multiway system.

The 2-category theory of quasi-categories

String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure

This work shows how an analogous correspondence may be established for arbitrary SMTs, once an appropriate notion of DPO rewriting (which the authors call convex) is identified, and uses the approach to show termination of two SMTs of interest: Frobenius semi-algebras and bialgebra.