Pregeometric spaces from Wolfram model rewriting systems as homotopy types

DOI10.1007/S10773-024-05576-0MaRDI QIDQ6570188zbMATH OpenFDO

Authors Xerxes Arsiwalla, Jonathan Gorard

Publication date 10 July 2024

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10773-024-05576-0

Mathematics Subject Classification ID

Theory of computing (68Qxx) Quantum field theory; related classical field theories (81Txx) General relativity (83Cxx)

Cites work

• A complete proof of correctness of the Knuth-Bendix completion algorithm
• A higher structure identity principle
• A type theory for synthetic -categories
• AQFT from \(n\)-functorial QFT
• Categorical quantum mechanics
• Compositionality of rewriting rules with conditions
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Degenerate stars and gravitational collapse in ads/CFT
• Double-pushout graph transformation revisited
• Foundations of Software Science and Computation Structures
• Fundamentals of algebraic graph transformation
• Geometry, pregeometry and beyond
• Graph Transformations
• Guts and exceptional branes in F-theory. I
• Guts and exceptional branes in F-theory. II: Experimental predictions
• Higher-dimensional algebra and topological quantum field theory
• Higher-dimensional word problems with applications to equational logic
• Homotopy type theory: the logic of space
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 1818513 (Why is no real title available?)
• scientific article; zbMATH DE number 48095 (Why is no real title available?)
• scientific article; zbMATH DE number 1495264 (Why is no real title available?)
• scientific article; zbMATH DE number 1913781 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• scientific article; zbMATH DE number 7453970 (Why is no real title available?)
• scientific article; zbMATH DE number 7564181 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Interacting Quantum Observables
• Interacting quantum observables: categorical algebra and diagrammatics
• Large N field theories, string theory and gravity
• Lectures on n-categories and cohomology
• Model-completions and modules
• On higher structures
• On the Classification of Topological Field Theories
• Open-graphs and monoidal theories
• Polygraphs of finite derivation type
• Quantum gauge field theory in cohesive homotopy type theory
• Quantum gravity from causal dynamical triangulations: a review
• Rule algebras for adhesive categories
• Spacelike singularities and hidden symmetries of gravity
• String diagram rewrite theory. I: Rewriting with Frobenius structure
• String Theory and M-Theory
• Symplectic Geometry
• The 2-category theory of quasi-categories
• The geometry of tensor calculus. I
• The slowdown theorem: a lower bound for computational irreducibility in physical systems
• Three roads to quantum gravity.
• Tracelet Hopf algebras and decomposition spaces (extended abstract)
• Unification of gravity, gauge fields and Higgs bosons

Cited in

(2)

• Preons, braid topology, and representations of fundamental particles
• Application of Chaitin's incompleteness theorem to quantum gravity

This page was built for publication: Pregeometric spaces from Wolfram model rewriting systems as homotopy types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6570188)