Related papers: Sheafifying Consistent Histories
The sheaf theoretic description of non-locality and contextuality by Abramsky and Brandenburger sets the ground for a topological study of these peculiar features of quantum mechanics. This viewpoint has been recently developed thanks to…
Given a general finite group $G$, we consider several categories built on it, their Grothendieck topologies and resulting sheaf categories. For a certain class of transporter categories and their quotients, equipped with atomic topology, we…
The purpose of this note is to record a connection between sheaves on complete Boolean algebras and conditional sets. This connection yields a transfer principle for conditional set theory. On the other hand we use conditional set theory to…
A system of quantum reasoning for a closed system is developed by treating non-relativistic quantum mechanics as a stochastic theory. The sample space corresponds to a decomposition, as a sum of orthogonal projectors, of the identity…
Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can…
An \'etale structure over a topological space $X$ is a continuous family of structures (in some first-order language) indexed over $X$. We give an exposition of this fundamental concept from sheaf theory and its relevance to countable model…
The (consistent or decoherent) histories interpretation provides a consistent realistic ontology for quantum mechanics, based on two main ideas. First, a logic (system of reasoning) is employed which is compatible with the Hilbert-space…
A distinction is made between two kinds of consistent histories: (1) robust histories consistent by virtue of decoherence, and (2) verifiable histories consistent through the existence of accessible records. It is events in verifiable…
In a recent paper Kent has pointed out that in consistent histories quantum theory it is possible, given initial and final states, to construct two different consistent families of histories, in each of which there is a proposition that can…
The main goal of this paper is to establish close relations among sheaves of modules on atomic sites, representations of categories, and discrete representations of topological groups. We characterize sheaves of modules on atomic sites as…
An idealized 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…
This paper makes contributions to ``pure'' sheaf model theory, the part of model theory in which the models are sheaves over a complete Heyting algebra. We start by outlining the theory in a way we hope is readable for the non-specialist.…
We extend Orlov's representability theorem on the equivalence of derived categories of sheaves to the case of smooth stacks associated to normal projective varieties with only quotient singularities.
An extended analysis is made of the Gell-Mann and Hartle axioms for a generalised `histories' approach to quantum theory. Emphasis is placed on finding equivalents of the lattice structure that is employed in standard quantum logic.…
The topos approach to the formulation of physical theories includes a new form of quantum logic. We present this topos quantum logic, including some new results, and compare it to standard quantum logic, all with an eye to conceptual…
Sheaves are mathematical objects consisting of a base which constitutes a topological space and the data associated with each open set thereof, e.g. continuous functions defined on the open sets. Sheaves have originally been used in…
In this paper we give an inherently toric description of a special class of sheaves (known as equivariant sheaves) over toric varieties, due in part to A. A. Klyachko. We apply this technology to heterotic compactifications, in particular…
In this paper, we present a generalization of Grothendieck pretopologies -- suited for semicartesian categories with equalizers $C$ -- leading to a closed monoidal category of sheaves, instead of closed cartesian category. This is proved…
With a model of a geometric theory in an arbitrary topos, we associate a site obtained by endowing a category of generalized elements of the model with a Grothendieck topology, which we call the antecedent topology. Then we show that the…
We use sheaf theory and the six operations to define and study the (equivariant) homology of stacks. The construction makes sense in the algebraic, complex-analytic, or even topological categories.