Pregeometric spaces from Wolfram model rewriting systems as homotopy types

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

Jonathan Gorard, Xerxes Arsiwalla

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?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Guts and exceptional branes in F-theory. II: Experimental predictions
• Guts and exceptional branes in F-theory. I
• Degenerate stars and gravitational collapse in ads/CFT
• Geometry, pregeometry and beyond
• Higher-dimensional word problems with applications to equational logic
• AQFT from \(n\)-functorial QFT
• A complete proof of correctness of the Knuth-Bendix completion algorithm
• The geometry of tensor calculus. I
• The 2-category theory of quasi-categories
• Large \(N\) field theories, string theory and gravity
• Spacelike singularities and hidden symmetries of gravity
• Fundamentals of algebraic graph transformation
• Three roads to quantum gravity.
• Double-pushout graph transformation revisited
• On higher structures
• Categorical quantum mechanics
• Unification of gravity, gauge fields and Higgs bosons
• A type theory for synthetic $\infty$-categories
• Polygraphs of finite derivation type
• Lectures on N-Categories and Cohomology
• String Theory and M-Theory
• Interacting Quantum Observables
• On the Classification of Topological Field Theories
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Higher-dimensional algebra and topological quantum field theory
• Open-graphs and monoidal theories
• Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
• String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
• Compositionality of Rewriting Rules with Conditions
• Hetero-Correlation-Associative Memory with Trigger Neurons: Accumulation of Memory through Additional Learning in Neural Networks
• Interacting quantum observables: categorical algebra and diagrammatics
• A Higher Structure Identity Principle
• Quantum gravity from causal dynamical triangulations: a review
• Homotopy Type Theory: The Logic of Space
• Symplectic Geometry
• Graph Transformations
• Foundations of Software Science and Computation Structures
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Model-completions and modules

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)