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

05/22/2021
by   Xerxes D. Arsiwalla, et al.
0

We investigate the algebraic and compositional properties of multiway (non-deterministic) abstract rewriting systems, which are the archetypical structures underlying the formalism of the so-called Wolfram model. We demonstrate the existence of higher homotopies in this class of rewriting systems, where these homotopic maps are induced by the inclusion of appropriate rewriting rules taken from an abstract rulial space of all possible such rules. Furthermore, we show 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. Via Grothendieck's homotopy hypothesis, this ∞-groupoid thus inherits the structure of a formal homotopy space. We conclude with some comments on how this computational framework of multiway rewriting systems may potentially be used for making formal connections to homotopy spaces upon which models of physics can be instantiated.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/04/2021

Pregeometric Spaces from Wolfram Model Rewriting Systems as Homotopy Types

How do spaces emerge from pregeometric discrete building blocks governed...
research
05/04/2020

Abstract Mathematical morphology based on structuring element: Application to morpho-logic

A general definition of mathematical morphology has been defined within ...
research
11/19/2022

Representations of Domains via CF-approximation Spaces

Representations of domains mean in a general way representing a domain a...
research
05/03/2023

History-deterministic Vector Addition Systems

We consider history-determinism, a restricted form of non-determinism, f...
research
12/22/2022

Towards a Theory of Conversion Relations for Prefixed Units of Measure

Units of measure with prefixes and conversion rules are given a formal s...
research
07/25/2022

How much of UCCA can be predicted from AMR?

In this paper, we consider two of the currently popular semantic framewo...
research
09/27/2018

Towards a classification of Lindenmayer systems

In this paper we will attempt to classify Lindenmayer systems based on p...

Please sign up or login with your details

Forgot password? Click here to reset