The aim of this chapter is to construct new foundations for quantum logic and quantum spaces. This is accomplished by merging algebraic quantum theory and topos theory (encompassing the theory of locales or frames, of which toposes in a sense form the ultimate generalization). In a nutshell, the relation between these fields is as follows. First, our mathematical interpretation of Bohr’s ‘doctr...

This paper presents a categorical account of conditional probability, covering both the classical and the quantum case. Classical conditional probabilities are expressed as a certain “triangle-fill-in” condition, connecting marginal and joint probabilities, in the Kleisli category of the distribution monad. The conditional probabilities are induced by a map together with a predicate (the condit...

Assuming that B is a full A∞-subcategory of a unital A∞-category C we construct the quotient unital A∞-category D =‘C/B’. It represents the A u ∞-2-functor A 7→ A∞(C,A)modB, which associates with a given unital A∞-category A the A∞-category of unital A∞-functors C → A, whose restriction to B is contractible. Namely, there is a unital A∞-functor e : C → D such that the composition B →֒ C e −→ D i...

in this article, we have shown, for the add-point monad t, thepartial morphism category set*is isomorphic to the kleisli category sett. alsowe have proved that the category, sett, of t-algebras is isomorphic to thecategory set of pointed sets. finally we have established commutative squaresinvolving these categories.

Assuming that B is a full A∞-subcategory of a unital A∞-category C we construct the quotient unital A∞-category D =‘C/B’. It represents the A u ∞-2-functor A 7→ A∞(C,A)modB, which associates with a given unital A∞-category A the A∞-category of unital A∞-functors C → A, whose restriction to B is contractible. Namely, there is a unital A∞-functor e : C → D such that the composition B →֒ C e −→ D i...

We study self-homeomorphisms of zero dimensional metrizable compact Hausdorff spaces by means of the ordered first cohomology group, particularly in the light of the recent work of Giordano, Putnam, and Skau on minimal homeomorphisms. We show that flow equivalence of systems is analogous to Morita equivalence between algebras, and this is reflected in the ordered cohomology group. We show that ...

The Graded Classification Conjecture states that the pointed $K_{0}^{\operatorname {gr}}$ -group is a complete invariant of Leavitt path algebras finite graphs when these are considered with their natural grading by $\mathbb {Z}$ . strong version this conjecture functor full and faithful on category graded homomorphisms modulo conjugations invertible elements zero components. We show for unital...

We define natural A ∞ -transformations and construct A ∞ -category of A ∞ -functors. The notion of non-strict units in an A ∞ -category is introduced. The 2-category of (unital) A ∞ -categories, (unital) functors and transformations is described. The study of higher homotopy associativity conditions for topological spaces began with Stasheff’s article [Sta63, I]. In a sequel to this paper [Sta6...

We define natural A ∞ -transformations and construct A ∞ -category of A ∞ -functors. The notion of non-strict units in an A ∞ -category is introduced. The 2-category of (unital) A ∞ -categories, (unital) functors and transformations is described. The study of higher homotopy associativity conditions for topological spaces began with Stasheff’s article [Sta63, I]. In a sequel to this paper [Sta6...

We define natural A∞-transformations and construct A∞-category of A∞-functors. The notion of non-strict units in an A∞-category is introduced. The 2-category of (unital) A∞-categories, (unital) functors and transformations is described. The study of higher homotopy associativity conditions for topological spaces began with Stasheff’s article [Sta63, I]. In a sequel to this paper [Sta63, II] Sta...