Related papers: Quantum Programs as Kleisli Maps
Let $A$ and $C$ be two unital simple C*-algebas with tracial rank zero. Suppose that $C$ is amenable and satisfies the Universal Coefficient Theorem. Denote by ${{KK}}_e(C,A)^{++}$ the set of those $\kappa$ for which…
Quantum spaces with $\frak{su}(2)$ noncommutativity can be modelled by using a family of $SO(3)$-equivariant differential $^*$-representations. The quantization maps are determined from the combination of the Wigner theorem for $SU(2)$ with…
We use the theory of regular objects in tensor categories to clarify the passage between braided multiplicative unitaries and multiplicative unitaries with projection. The braided multiplicative unitary and its semidirect product…
We prove that a unital completely positive map between finite-dimensional C*-algebras is a homomorphism if and only if it is completely entropy-nonincreasing, where the relevant notion of entropy is a variant of von Neumann entropy. This…
The generalized state space of a commutative C*-algebra, denoted S_H(C(X)), is the set of positive unital maps from C(X) to the algebra B(H) of bounded linear operators on a Hilbert space H. C*-convexity is one of several non-commutative…
We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution monoid, and use it to construct a correspondence between…
We exhibit a countably infinite family of simple, separable, nuclear, and mutually non-isomorphic C*-algebras which agree on K-theory and traces. The algebras do not absorb the Jiang-Su algebra Z tensorially, answering a question of N. C.…
Firm Frobenius algebras are firm algebras and counital coalgebras such that the comultiplication is a bimodule map. They are investigated by categorical methods based on a study of adjunctions and lifted functors. Their categories of…
We define a category $\mathcal{QSI}$ of quantum semigroups with involution which carries a corepresentation-based duality map $M\mapsto \widehat M$. Objects in $\mathcal{QSI}$ are von Neumann algebras with comultiplication and coinvolution,…
Pebble games are a powerful tool in the study of finite model theory, constraint satisfaction and database theory. Monads and comonads are basic notions of category theory which are widely used in semantics of computation and in modern…
We construct uncountably many mutually nonisomorphic simple separable stably finite unital exact C$^\ast$-algebras which are not isomorphic to their opposite algebras. In particular, we prove that there are uncountably many possibilities…
This paper uses monads and comonads to establish a certain type of equivalence between two subcategories, one reflective and one coreflective, in a category whose objects represent compactifications of non-compact locally compact Hausdorff…
We show that certain C*-algebras which have been studied among others by Arzumanian, Vershik, Deaconu, and Renault in connection to a measure preserving transformation of a measure space and/or to a covering map of a compact space are…
Given a compact space X and two commuting continuous open surjective maps sigma_1, sigma_2 : X --> X, we construct certain C*-algebras that reflect the dynamics of the N^2-action. When the maps sigma_1, sigma_2 are local homeomorphisms,…
Multiplicative Unitaries are described in terms of a pair of commuting shifts of relative depth two. They can be generated from ambidextrous Hilbert spaces in a tensor C*-category. The algebraic analogue of the Takesaki-Tatsuuma Duality…
It is well-known that the category of Kleisli algebras for a monoidal monad carries a canonical monoidal structure. We define the notion of a commutative graded monad and present a strictly two-categorical proof that Kleisli algebras for…
We compare the algebras of the quantum automorphism group of finite-dimensional C$^\ast$-algebra $B$, which includes the quantum permutation group $S_N^+$, where $N = \dim B$. We show that matrix amplification and crossed products by…
Continuing our project on noncommutative (stable) homotopy we construct symmetric monoidal $\infty$-categorical models for separable $C^*$-algebras $\mathtt{SC^*_\infty}$ and noncommutative spectra $\mathtt{NSp}$ using the framework of…
It is shown that if A is a stably finite C*-algebra and E is a countably generated Hilbert A-module, then E gives rise to a compact element of the Cuntz semigroup if and only if E is algebraically finitely generated and projective. It…
In two articles ([L2], [L3]), Franck Lesieur had introduced a notion of quantum groupoid, in the setting of von Neumann algebras, using intensively the notion of pseudo-multiplicative unitary, which had been introduced in a previous article…