Related papers: Topos Models for Physics and Topos Theory
From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models…
A few recent innovations of applicability of standard textbook Quantum Theory are reviewed. The three-Hilbert-space formulation of the theory (known from the interacting boson models in nuclear physics) is discussed in its slightly…
Observable properties of a classical physical system can be modelled deterministically as functions from the space of pure states to outcomes; dually, states can be modelled as functions from the algebra of observables to outcomes. The…
Topology in momentum space is the main characteristics of the ground states of a system at zero temperature, the quantum vacua. The gaplessness of fermions in bulk, on the surface or inside the vortex core is protected by topology.…
We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…
The scientific methodology based on two descriptive levels, ontic (reality as it is ) and epistemic (observational), is briefly presented. Following Schr\"odinger, we point to the possible gap between these two descriptions. Our main aim is…
The classifying topos of a geometric theory is a topos such that geometric morphisms into it correspond to models of that theory. We study classifying toposes for different infinitary logics: first-order, sub-first-order (i.e. geometric…
Twisting and classical background fields are two foundational techniques in supersymmetric quantum field theory, central to developments ranging from the Higgs mechanism to topological twisting and supersymmetric localisation. While…
In this paper, we present a Hopf algebra description of a bosonic quantum model, using the elementary combinatorial elements of Bell and Stirling numbers. Our objective in doing this is as follows. Recent studies have revealed that…
It is often stated that homogeneity and isotropy of the Universe are assumptions of the almost Friedmann-Lema^itre (FL) model (the hot big bang model), inspired from the Copernican Principle. However, only local homogeneity and isotropy are…
On the surface, behavioural science and physics seem to be two disparate fields of research. However, a closer examination of problems solved by them reveals that they are uniquely related to one another. Exemplified by the theories of…
This is a survey article for the Encyclopedia of Mathematical Physics, 2nd Edition. Topological defects are described in the context of the 2-dimensional Ising model on the lattice, in 2-dimensional quantum field theory, in topological…
A thought experiment is formulated to unify quantum mechanics and general relativity in a topological manner. An analysis of the interactions in Nature is then presented. The universal ground state of the constructed theory derives from the…
The cohomology theory known as Tmf, for "topological modular forms," is a universal object mapping out to elliptic cohomology theories, and its coefficient ring is closely connected to the classical ring of modular forms. We extend this to…
The aim of this paper is i) to argue for the feasibility and fruitfulness of a balance between the phenomenological method seeking intuitive evidence and the axiomatic-deductive method and ii) that there should be a mutual understanding…
An idealised experiment estimating the spacetime topology is considered in both classical and quantum frameworks. The latter is described in terms of histories approach to quantum theory. A procedure creating combinatorial models of…
According to the Butterfield--Isham proposal, to understand quantum gravity we must revise the way we view the universe of mathematics. However, this paper demonstrates that the current elaborations of this programme neglect quantum…
A Poisson analog of the Dixmier-Moeglin equivalence is established for any affine Poisson algebra $R$ on which an algebraic torus $H$ acts rationally, by Poisson automorphisms, such that $R$ has only finitely many prime Poisson $H$-stable…
Previously we have shown that the topos approach to quantum theory of Doering and Isham can be generalised to a class of categories typically studied within the monoidal approach to quantum theory of Abramsky and Coecke. In the monoidal…
Recent elegant work on the structure of Perturbative Quantum Field Theory (PQFT) has revealed an astonishing interplay between analysis(Riemann Zeta functions), topology (Knot theory), combinatorial graph theory (Feynman Diagrams) and…