相关论文: Some Possible Roles for Topos Theory in Quantum Th…

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…

This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts (for part II, see math.AG/0404373). In this first part we investigate a notion of higher topos. For…

We propose a mathematically concrete way of modelling the suggestion that in quantum gravity the spacetime disappears, replacing it with a discrete approximation to the causal path space described as an object in a model category. One of…

We remark the importance of adding suitable pre-geometric content to tensor models, obtaining what has recently been called tensorial group field theories, to have a formalism that could describe the structure and dynamics of quantum…

We give an introduction to the theory of cluster categories and cluster tilted algebras. We include some background on the theory of cluster algebras, and discuss the interplay with cluster categories and cluster tilted algebras.

We recast the action principle of four dimensional General Relativity so that it becomes amenable for perturbation theory which doesn't break general covariance. The coupling constant becomes dimensionless (G_{Newton} \Lambda) and extremely…

This article is meant as a summary and introduction to the ideas of effective field theory as applied to gravitational systems. Contents: 1. Introduction 2. Effective Field Theories 3. Low-Energy Quantum Gravity 4. Explicit Quantum…

We explore a field theoretical approach to quantum computing and control. This book consists of three parts. The basics of systems theory and field theory are reviewed in Part I. In Part II, a gauge theory is reinterpreted from a systems…

The formalism of quantum theory over discrete systems is extended in two significant ways. First, quantum evolutions are generalized to act over entire network configurations, so that nodes may find themselves in a quantum superposition of…

The aim of this paper is to compare the two topos-theoretic approaches to quantum mechanics that may be found in the literature to date. The first approach, which we will call the contravariant approach, was originally proposed by Isham and…

The long history of the study of quantum gravity has thrown up a complex web of ideas and approaches. The aim of this article is to unravel this web a little by analysing some of the {\em prima facie\/} questions that can be asked of almost…

By introducing various topologies on the homotopy groups of a topological space, some researchers make these well known notions in algebraic topology more useful and powerful. In this paper, first we recall and review some known topologies…

It is shown how one can define vector topological charges for topological exitations of non-linear sigma-models on compact homogeneous spaces T_G and G/T_G (where G is a simple compact Lie group and T_G is its maximal commutative subgroup).…

In a coherent category, the posets of subobjects have very strong properties. We emphasize the validity of these properties, in general categories, for well-behaved classes of subobjects. As an example of application, we investigate the…

Quantum theory is applicable, in principle, to both the microscopic and macroscopic realms. It is therefore worthwhile to investigate whether it is possible to evolve a quantum-compatible view of the properties and states of macroscopic…

An idealised 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…

Some of the basic concepts of topology are explored through known physics problems. This helps us in two ways, one, in motivating the definitions and the concepts, and two, in showing that topological analysis leads to a clearer…

In this paper, we identify some categorical structures in which one can model predicative formal systems: in other words, predicative analogues of the notion of a topos, with the aim of using sheaf models to interprete predicative formal…

In the first part of this review we introduce the basics theory behind geometric phases and emphasize their importance in quantum theory. The subject is presented in a general way so as to illustrate its wide applicability, but we also…

This paper gives an introduction to the homotopy theory of quasi-categories. Weak equivalences between quasi-categories are characterized as maps which induce equivalences on a naturally defined system of groupoids. These groupoids…