Related papers: Topos Models for Physics and Topos Theory
There are many examples of dualities between topological spaces and algebras in the literature. Particularly, many of those examples come from the algebraic counterpart of a logical system, e.g, boolean and heyting algebras, MV-algebras,…
The pros and cons of various forms of atomism and holism that are applicable both in physical science and today's philosophy of nature are evaluated. To this end, Lewis' thesis of Humean supervenience is presented as an important case study…
An interpretation and re-formulation of modern physics which removes the presumption of the space-time continuum, and bases physical theory on a small number of rational and empirical principles. After briefly describing the philosophical…
Cubical type theory provides a constructive justification to certain aspects of homotopy type theory such as Voevodsky's univalence axiom. This makes many extensionality principles, like function and propositional extensionality, directly…
Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…
Sorkin's coevents can be thought of as the `beables' of a quantum histories theory; in this paper we study the 'logical' implications of taking this claim at face value, constructing a propositional lattice for the space of coevents…
We analyze different aspects of our quantum modeling approach of human concepts, and more specifically focus on the quantum effects of contextuality, interference, entanglement and emergence, illustrating how each of them makes its…
A generalization of the Dirac's canonical quantization theory for a system with second-class constraints is proposed as the fundamental commutation relations that are constituted by all commutators between positions, momenta and Hamiltonian…
Techniques from higher categories and higher-dimensional rewriting are becoming increasingly important for understanding the finer, computational properties of higher algebraic theories that arise, among other fields, in quantum…
A topos theoretic generalisation of the category of sets allows for modelling spaces which vary according to time intervals. Persistent homology, or more generally, persistence is a central tool in topological data analysis, which examines…
We develop a new approach to the representation theory of quantum algebras supporting a torus action via methods from the theory of finite-state automata and algebraic combinatorics. We show that for a fixed number $m$, the torus-invariant…
This is the first installment of a series of papers whose aim is to lay a foundation for homotopy probability theory by establishing its basic principles and practices. The notion of a homotopy probability space is an enrichment of the…
A quantum causal topology is presented. This is modeled after a non-commutative scheme type of theory for the curved finitary spacetime sheaves of the non-abelian incidence Rota algebras that represent `gravitational quantum causal sets'.…
In this essay we examine some aspects of the classical theory of definition as codified in Aristotle's \emph{Topics} and Porphyry's \emph{Eisagog\^e} in the light of the way definition is carried out in modern mathematical practice. Our…
Since its very beginnings, topology has forged strong links with physics and the last Nobel prize in physics, awarded in 2016 to Thouless, Haldane and Kosterlitz " for theoretical discoveries of topological phase transitions and topological…
Based on the Sheaf Logic approach to set theoretic forcing, a hierarchy of Quantum Variable Sets is constructed which generalizes and simplifies the analogous construction developed by Takeuti on boolean valued models of set theory. Over…
We explain why, in a configuration space that is multiply connected, i.e., whose fundamental group is nontrivial, there are several quantum theories, corresponding to different choices of topological factors. We do this in the context of…
We study the topology associated with physical vector and scalar fields. A mathematical object, e.g., a ball, can be continuously deformed, without tearing or gluing, to make other topologically equivalent objects, e.g., a cube or a solid…
We present a uniform framework for the treatment of a large class of toy models of quantum theory. Specifically, we will be interested in theories of wavefunctions valued in commutative involutive semirings, and which give rise to some…
This tutorial is intended to give an accessible introduction to Hopf algebras. The mathematical context is that of representation theory, and we also illustrate the structures with examples taken from combinatorics and quantum physics,…