Related papers: A topos for algebraic quantum theory

In the topos approach to quantum theory of Doering and Isham the Kochen-Specker Theorem, which asserts the contextual nature of quantum theory, can be reformulated in terms of the global sections of a presheaf characterised by the Gelfand…

We extend the Gelfand-Naimark duality of commutative C*-algebras, "A COMMUTATIVE C*-ALGEBRA -- A LOCALLY COMPACT HAUSDORFF SPACE" to "A C*-ALGEBRA--A QUOTIENT OF A LOCALLY COMPACT HAUSDORFF SPACE". Thus, a C*-algebra is isomorphic to the…

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…

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…

For any topological space there is a sheaf cohomology. A Grothendieck topology is a generalization of the classical topology such that it also possesses a sheaf cohomology. On the other hand any noncommutative $C^*$-algebra is a…

Given a unital $*$-algebra $\mathscr{A}$ together with a suitable positive filtration of its set of irreducible bounded representations, one can construct a C$^*$-algebra $A_0$ with a dense two-sided ideal $A_c$ such that $\mathscr{A}$ maps…

Gelfand - Na\u{i}mark theorem supplies contravariant functor from a category of commutative $C^*-$ algebras to a category of locally compact Hausdorff spaces. Therefore any commutative $C^*-$ algebra is an alternative representation of a…

Gelfand - Na\u{i}mark theorem supplies a one to one correspondence between commutative $C^*$-algebras and locally compact Hausdorff spaces. So any noncommutative $C^*$-algebra can be regarded as a generalization of a topological space.…

In this article, we identify a suitable approach to define the character space of a commutative unital locally $C^{\ast}$-algebra via the notion of the inductive limit of topological spaces. Also, we discuss topological properties of the…

Based on the assumption that time evolves only in one direction and mechanical systems can be described by Lagrangeans, a dynamical C*-algebra is presented for non-relativistic particles at atomic scales. Without presupposing any…

In this work we construct from ground up a homotopy theory of C*-algebras. This is achieved in parallel with the development of classical homotopy theory by first introducing an unstable model structure and second a stable model structure.…

We study the mathematical structure of the notion of measurement space, which extends aspects of noncommutative topology that are based on quantale theory. This yields a geometric model of physical measurements that provides a realist…

Topos theory has been suggested by D\"oring and Isham as an alternative mathematical structure with which to formulate physical theories. In particular, the topos approach suggests a radical new way of thinking about what a theory of…

This paper is the second 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…

Abelian duality is realized naturally by combining differential cohomology and locally covariant quantum field theory. This leads to a C$^*$-algebra of observables, which encompasses the simultaneous discretization of both magnetic and…

Using the completed inductive, projective and injective tensor products of Grothendieck for locally convex topological vector spaces, we develop a systematic theory of locally convex Hopf algebras with an emphasis on Pontryagin-type…

The goal of this paper is to summarise the first steps in developing 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…

The so-called topos approach provides a radical reformulation of quantum theory. Structurally, quantum theory in the topos formulation is very similar to classical physics. There is a state object, analogous to the state space of a…

A quantum picture of the causal structure of Minkowski space M is presented. The mathematical model employed to this end is a non-classical version of the classical topos {H} of real quaternion algebras used elsewhere to organize the…

This paper shows that quantization induces a Lawvere-Tierney topology on (hence, a sheaf topos in) the quantum topos. We show that a quantization map from classical observables to self-adjoint operators on a Hilbert space naturally induces…