Related papers: Quantum Programs as Kleisli Maps

We provide some background on the category of classifiable $\mathrm{C}^*$-algebras, whose objects are infinite-dimensional, simple, separable, unital $\mathrm{C}^*$-algebras that have finite nuclear dimension and satisfy the universal…

In this paper, we carry out the ``quantum double construction'' of the specific quantum groups we constructed earlier, namely, the ``quantum Heisenberg group algebra'' (A,\Delta) and its dual, the ``quantum Heisenberg group''…

We present some properties of (not necessarily linear) positive maps between $C^*$-algebras. We first extend the notion of Lieb functions to that of Lieb positive maps between $C^*$-algebras. Then we give some basic properties and…

We give a dynamical characterization of categorical Morita equivalence between compact quantum groups. More precisely, by a Tannaka-Krein type duality, a unital C*-algebra endowed with commuting actions of two compact quantum groups…

Let $A$ be a unital $C^*$-algebra and let $U_0(A)$ be the group of unitaries of $A$ which are path connected to the identity. Denote by $CU(A)$ the closure of the commutator subgroup of $U_0(A).$ Let $i_A^{(1, n)}\colon…

We show that abstract Cuntz semigroups form a closed symmetric monoidal category. Thus, given Cuntz semigroups $S$ and $T$, there is another Cuntz semigroup $[[S,T]]$ playing the role of morphisms from $S$ to $T$. Applied to C$^*$-algebras…

A theory of Galois co-objects for von Neumann bialgebras is introduced. This concept is closely related to the notion of comonoidal W*-Morita equivalence between von Neumann bialgebras, which is a Morita equivalence taking the…

We prove that the category of vector bundles over a fixed smooth manifold and its corresponding category of convenient modules are models for intuitionistic differential linear logic. The exponential modality is modelled by composing the…

We define the categorical cohomology of a k-graph \Lambda\ and show that the first three terms in this cohomology are isomorphic to the corresponding terms in the cohomology defined in our previous paper. This leads to an alternative…

We study (von Neumann) regular $^*$-subalgebras of $B(H)$, which we call R$^*$-algebras. The class of R$^*$-algebras coincides with that of "E$^*$-algebras that are pre-C$^*$-algebras" in the sense of Z. Sz\H{u}cs and B. Tak\'acs. We give…

Recently, we have shown that von Neumann algebras form a model for Selinger and Valiron's quantum lambda calculus. In this paper, we explain our choice of interpretation of the duplicability operator "!" by studying those von Neumann…

Let (G,d) be a first order differential *-calculus on a *-algebra A. We say that a pair (\pi,F) of a *-representation \pi of A on a dense domain D of a Hilbert space and a symmetric operator F on D gives a commutator representation of G if…

Commutative Hilbertian Frobenius algebras are those commutative semi-group objects in the monoidal category of Hilbert spaces, for which the Hilbert adjoint of the multiplication satisfies the Frobenius compatibility relation, that is, this…

It is well known that a measured groupoid G defines a von Neumann algebra W*(G), and that a Lie groupoid G canonically defines both a C*-algebra C*(G) and a Poisson manifold A*(G). We show that the maps G -> W*(G), G -> C*(G) and G -> A*(G)…

The Kirchberg Embedding Problem (KEP) asks if every C*-algebra embeds into an ultrapower of the Cuntz algebra $\mathcal{O}_2$. In an effort to provide a negative solution to the KEP and motivated by the recent refutation of the Connes…

Let ${\cal O}_{{\cal H}^{A,B}_\kappa}$ be the $C^*$-algebra associated with the Hilbert $C^*$-quad module arising from commuting matrices $A,B$ with entries in $\{0,1\}$. We will show that if the associated tiling space $X_{A,B}^\kappa$ is…

We study bounded bilinear maps on a C$^*$-algebra $A$ having product property at $c\in A$. This leads us to the question of when a C$^*$-algebra is determined by products at $c.$ In the first part of our paper, we investigate this question…

Quantum symmetry of a graph $C^{*}$-algebra $C^{*}(\Gamma)$ corresponding to a finite graph $\Gamma$ has been explored by several mathematicians within different categories in the past few years. In this article, we establish that there are…

In this paper, we introduce C*-algebraic partial compact quantum groups, which are quantizations of topological groupoids with discrete object set and compact morphism spaces. These C*-algebraic partial compact quantum groups are…

Let $K$ be a compact metric space and let $\gamma = (\gamma_1, \dots, \gamma_n)$ be a system of proper contractions on $K$. We study a C*-algebra $\mathcal{MC}_{\gamma_1, \dots, \gamma_n}$ generated by all multiplication operators by…