Pregeometric spaces from Wolfram model rewriting systems as homotopy types

DOI10.1007/S10773-024-05576-0MaRDI QIDQ6570188FDOQ6570188

Authors: Xerxes Arsiwalla, Jonathan Gorard 

Publication date: 10 July 2024

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

Mathematics Subject Classification ID

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

Cites Work

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

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)