Related papers: The Physical Mathematics of Segal Topoi and String…
In math.AG/0207028 we began the study of higher sheaf theory (i.e. stacks theory) on higher categories endowed with a suitable notion of topology: precisely, we defined the notions of S-site and of model site, and the associated categories…
We show that the Segal topos of derived stacks over simplicial commutative $k$-algebras, which can be used to model natural phenomena, has a subobject classifier, something we regard as being a source from which dynamics is generated. This…
Toen and Vezzosi showed that $RHom^{geom}(T,lX)$ is a Segal groupoid, for $T$ a Segal topos, $lX = Loc(X)$ the Segal category of locally constant stacks on a CW complex $X$. Taking the realization of such a groupoid defines a pro-object…
J. Lurie proved in Higher Topos Theory that for $K$ a simplicial set, $\mathcal{C}$ a simplicial category, $f: \mathfrak{C}[K] \rightarrow \mathcal{C}^{\text{op}}$ an equivalence of simplicial categories, we have a Quillen equivalence…
The basic notion of how topoi can be utilized in physics is presented here. Topos and category theory serve as valuable tools which extend our ordinary set-theoretical conceptions, can further the study of quantum logic and give rise to new…
We extend the usual internal logic of a (pre)topos to a more general interpretation, called the stack semantics, which allows for "unbounded" quantifiers ranging over the class of objects of the topos. Using well-founded relations inside…
This paper is the first in a series whose goal is to develop a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of…
The overwhelming majority of the attempts in exploring the problems related to quantum logical structures and their interpretation have been based on an underlying set-theoretic syntactic language. We propose a transition in the involved…
A string-theoretic structure of the standard model is defined having a 4-D quantum gravity metric consistent with topological and algebraic first principles. Unique topological diagrams of string states, strong and weak interactions and…
String diagrammatic calculi have become increasingly popular in fields such as quantum theory, circuit theory, probabilistic programming, and machine learning, where they enable resource-sensitive and compositional algebraic analysis.…
The composite particle duality extends the notions of both flux attachment and statistical transmutation in spacetime dimensions beyond 2+1D. It constitutes an exact correspondence that can be understood either as a theoretical framework or…
This article is intended as a reference guide to various notions of monoidal categories and their associated string diagrams. It is hoped that this will be useful not just to mathematicians, but also to physicists, computer scientists, and…
An algebraic formalism for the study of a system of charged particles interacting with an external quantum field is developed. The notion of monoidal categories with duality is used for the description of composite systems and corresponding…
I present arguments to the affect that the topological phase of string theory must be event-symmetric. This motivates a search for a universal string group for discrete strings in event-symmetric space-time which unifies space-time symmetry…
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…
This paper is the fourth in a series whose goal is to develop a fundamentally new way of building theories of physics. The motivation comes from a desire to address certain deep issues that arise in the quantum theory of gravity. Our basic…
The purpose of this short note is to illustrate the utility of (semi-) dendroidal objects in describing certain 'up-to-homotopy' operads. Specifically, we exhibit a semi-dendroidal space satisfying the Segal condition, whose evaluation at a…
Topos theory, a branch of category theory, has been proposed as mathematical basis for the formulation of physical theories. In this article, we give a brief introduction to this approach, emphasising the logical aspects. Each topos serves…
The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr's idea that the empirical content of quantum physics is accessible…
We strengthen the case that the new logical perspective afforded by topos theory is suitable to the task of describing the physical world around us. In exploring some of the aspects of construction of a simple quantum-mechanical system in a…