Matches in SemOpenAlex for { <https://semopenalex.org/work/W4226058051> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W4226058051 abstract "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 to infty$ limit of the Wolfram model rulial multiway system is identified as an $infty$-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 ${left(infty, 1right)}$-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." @default.
- W4226058051 created "2022-05-05" @default.
- W4226058051 creator A5009241097 @default.
- W4226058051 creator A5046288820 @default.
- W4226058051 date "2021-11-04" @default.
- W4226058051 modified "2023-09-23" @default.
- W4226058051 title "Pregeometric Spaces from Wolfram Model Rewriting Systems as Homotopy Types" @default.
- W4226058051 hasPublicationYear "2021" @default.
- W4226058051 type Work @default.
- W4226058051 citedByCount "0" @default.
- W4226058051 crossrefType "posted-content" @default.
- W4226058051 hasAuthorship W4226058051A5009241097 @default.
- W4226058051 hasAuthorship W4226058051A5046288820 @default.
- W4226058051 hasBestOaLocation W42260580511 @default.
- W4226058051 hasConcept C124952713 @default.
- W4226058051 hasConcept C136119220 @default.
- W4226058051 hasConcept C137212723 @default.
- W4226058051 hasConcept C142362112 @default.
- W4226058051 hasConcept C154690210 @default.
- W4226058051 hasConcept C182141236 @default.
- W4226058051 hasConcept C18903297 @default.
- W4226058051 hasConcept C199360897 @default.
- W4226058051 hasConcept C202444582 @default.
- W4226058051 hasConcept C2777299769 @default.
- W4226058051 hasConcept C33923547 @default.
- W4226058051 hasConcept C41008148 @default.
- W4226058051 hasConcept C5961521 @default.
- W4226058051 hasConcept C80444323 @default.
- W4226058051 hasConcept C86803240 @default.
- W4226058051 hasConcept C93682546 @default.
- W4226058051 hasConceptScore W4226058051C124952713 @default.
- W4226058051 hasConceptScore W4226058051C136119220 @default.
- W4226058051 hasConceptScore W4226058051C137212723 @default.
- W4226058051 hasConceptScore W4226058051C142362112 @default.
- W4226058051 hasConceptScore W4226058051C154690210 @default.
- W4226058051 hasConceptScore W4226058051C182141236 @default.
- W4226058051 hasConceptScore W4226058051C18903297 @default.
- W4226058051 hasConceptScore W4226058051C199360897 @default.
- W4226058051 hasConceptScore W4226058051C202444582 @default.
- W4226058051 hasConceptScore W4226058051C2777299769 @default.
- W4226058051 hasConceptScore W4226058051C33923547 @default.
- W4226058051 hasConceptScore W4226058051C41008148 @default.
- W4226058051 hasConceptScore W4226058051C5961521 @default.
- W4226058051 hasConceptScore W4226058051C80444323 @default.
- W4226058051 hasConceptScore W4226058051C86803240 @default.
- W4226058051 hasConceptScore W4226058051C93682546 @default.
- W4226058051 hasLocation W42260580511 @default.
- W4226058051 hasOpenAccess W4226058051 @default.
- W4226058051 hasPrimaryLocation W42260580511 @default.
- W4226058051 hasRelatedWork W2396279 @default.
- W4226058051 hasRelatedWork W24466841 @default.
- W4226058051 hasRelatedWork W42610220 @default.
- W4226058051 hasRelatedWork W50809125 @default.
- W4226058051 hasRelatedWork W55997353 @default.
- W4226058051 hasRelatedWork W721123 @default.
- W4226058051 hasRelatedWork W74233552 @default.
- W4226058051 hasRelatedWork W7462312 @default.
- W4226058051 hasRelatedWork W77525968 @default.
- W4226058051 hasRelatedWork W78673101 @default.
- W4226058051 isParatext "false" @default.
- W4226058051 isRetracted "false" @default.
- W4226058051 workType "article" @default.