Related papers: A Geometric Bohr topos

The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr's idea that the empirical content of quantum physics is accessible…

We start by reviewing the relation between toposes and Grothendieck quantales. We improve results of previous work on this relation by giving both a characterisation of the map from the tensor product of two internal sup-lattices to another…

Topological quivers are generalizations of directed graphs in which the sets of vertices and edges are locally compact Hausdorff spaces. Associated to such a topological quiver Q is a C*-correspondence, and from this correspondence one may…

Any $C^*$-algebra can be regarded as a generalization of locally compact, Hausdorff topological space $\mathcal X$. From the commutative commutative Gelfand-Na\u{\i}mark theorem it follows that the spectrum of any commutative $C^*$-algebra…

We explore various limit constructions for C*-algebras, such as composition series and inverse limits, in relation to the notions of real rank, stable rank, and extremal richness. We also consider extensions and pullbacks. We identify some…

The purpose of this note is to describe when a general complex algebraic $^*$-algebra is pre-$C^*$-normed, and to investigate their structure when the $^*$-algebras are Baer $^*$-rings in addition to algebraicity. As a main result we prove…

Let $(G,\alpha)$ and $(H,\beta)$ be locally compact groupoids with Haar systems. We define a topological correspondence from $(G,\alpha)$ to $(H,\beta)$ to be a $G$-$H$-bispace $X$ on which $H$ acts properly and $X$ carries a continuous…

The completion of a (normed) $C^*$-algebra $A_0[\| \cdot \|_0]$ with respect to a locally convex topology $\tau$ on $A_0$ that makes the multiplication of $A_0$ separately continuous is, in general, a quasi *-algebra, and not a locally…

Every partial algebra is the colimit of its total subalgebras. We prove this result for partial Boolean algebras (including orthomodular lattices) and the new notion of partial C*-algebras (including noncommutative C*-algebras), and…

We show that the method to construct C^*-algebras from topological graphs, introduced in our previous paper, generalizes many known constructions. We give many ways to make new topological graphs from old ones, and study the relation of…

We construct compact polyhedra with triangular faces whose links are generalized 3-gons. They are interesting compact spaces covered by Euclidean buildings of type $A_2$. Those spaces give us two-dimensional subshifts, which can be used to…

Starting with a $W^{*}$-algebra $M$ we use the inverse system obtained by cutting down $M$ by its (central) projections to define an inverse limit of $W^{*}$-algebras, and show that how this pro-$W^{*}$-algebra encodes the local structure…

The bounded localization $\beta_b$ of a locally convex topology $\beta$ is defined as the finest locally convex topology agreeing with $\beta$ on all bounded sets. We show that the strict topology on the multiplier algebra of a bornological…

We introduce regular morphisms of topological quivers and show that they give rise to a subcategory of the category of topological quivers and quiver morphisms. Our regularity conditions render the topological quiver C*-algebra construction…

A host algebra of a topological group G is a C^*-algebra whose representations are in one-to-one correspondence with certain continuous unitary representations of G. In this paper we present an approach to host algebras for infinite…

We shall consider a locally compact groupoid endowed with a Haar system and having proper orbit space. We shall construct a groupoid C*-algebra which is independent of the Haar system (up to a *-isomorphism).

The pro-algebraic fundamental group can be understood as a completion with respect to finite-dimensional non-commutative algebras. We introduce finer invariants by looking at completions with respect to Banach and C*-algebras, from which we…

Topological quivers generalize the notion of directed graphs in which the sets of vertices and edges are locally compact (second countable) Hausdorff spaces. Associated to a topological quiver $Q$ is a $C^*$-correspondence, and in turn, a…

A new category of topological spaces with additional structures, called m-towers, is introduced. It is shown that there is a covariant functor which establishes a one-to-one correspondences between unital (resp. arbitrary) subhomogeneous…

We show that semiprojectivity of a C*-algebra is preserved when passing to C*-subalgebras of finite codimension. In particular, any pullback of two semiprojective C*-algebras over a finite-dimensional C*-algebra is again semiprojective.