Related papers: Unsharp Values, Domains and Topoi
An observable effects a schematization of the Quantum event structure by correlating Boolean algebras picked by measurements with the Borel algebra of the real line. In a well-defined sense Boolean observables play the role of…
According to D\"oring and Isham the spectral topos corresponds to any quantum system. The description of a system in the topos becomes similar to this given by classical theory, up to multiplication of observables. Logic of the emergent…
In the topos approach to quantum theory, the spectral presheaf plays the role of the state space of a quantum system. We show how a notion of entropy can be defined within the topos formalism using the equivalence between states and…
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…
Toposes can be pictured as mathematical universes. Besides the standard topos, in which most of mathematics unfolds, there is a colorful host of alternate toposes in which mathematics plays out slightly differently. For instance, there are…
We give a review of concepts related to connection of classical and quantum theories, from the phase space perspective. Quantum theory is described by non-commutative operators of coordinates and momenta, results in values having a certain…
The topos theory is a theory which is used for deciding a number of problems of theory of relativity, gravitation and quantum physics. In the article spherically symmetric solution of the vacuum Einstein equations in the Intuitionistic…
We construct a topos of quantum sets and embed into it the classical topos of sets. We show that the internal logic of the topos of sets, when interpreted in the topos of quantum sets, provides the Birkhoff-von Neumann quantum propositional…
We discuss some ways in which topos theory (a branch of category theory) can be applied to interpretative problems in quantum theory and quantum gravity. In Section 1, we introduce these problems. In Section 2, we introduce topos theory,…
This paper unites two research lines. The first involves finding categorical models of quantum programming languages and their type systems. The second line concerns the program of quantization of mathematical structures, which amounts to…
Starting from the famous Pauli problem on the possibility to associate quantum states with probabilities, the formulation of quantum mechanics in which quantum states are described by fair probability distributions (tomograms, i.e.…
We show how probabilities can be treated as truth values in suitable sheaf topoi. The scheme developed in this paper is very general and applies to both classical and quantum physics. On the quantum side, the results are a natural extension…
"Quantum Topology" deals with the general quantum theory as the theory of the functional quantum space; space time and energy momentum forms form a connected manifold; a functional quantum space on the quantum level. The general quantum…
In the present paper we propose a new approach to quantum fields in terms of category algebras and states on categories. We define quantum fields and their states as category algebras and states on causal categories with partial involution…
We present an abstract unifying framework for interpreting Stone-type dualities; several known dualities are seen to be instances of just one topos-theoretic phenomenon, and new dualities are introduced. In fact, infinitely many new…
We define generalized bialgebras and Hopf algebras and on this basis we introduce quantum categories and quantum groupoids. The quantization of the category of linear (super)spaces is constructed. We establish a criterion for the classical…
Topos quantum theory provides representations of quantum states as direct generalizations of the probability distribution, namely probability valuation. In this article, we consider extensions of a known bijective correspondence between…
In the framework of the topos approach to quantum mechanics we give a representation of physical properties in terms of modal operators on Heyting algebras. It allows us to introduce a classical type study of the mentioned properties.
We show that a functor category whose domain is a colored category is a topos.The topos structure enables us to introduce cohomology of colored categories including quasi-schemoids. If the given colored category arises from an association…
In a previous preprint (quant-ph/0012122) we introduced a ``contextual objectivity" formulation of quantum mechanics (QM). A central feature of this approach is to define the quantum state in physical rather than in mathematical terms, in…