A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
Pregeometric Spaces from Wolfram Model Rewriting Systems as Homotopy Types
[article]
2021
arXiv
pre-print
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
arXiv:2111.03460v2
fatcat:ckmayfudijgmvil4tua6hfjpmi