Related papers: On the Structure of Abstract H*-Algebras

We adapt the classical framework of algebraic theories to work in the setting of (infinity,1)-categories developed by Joyal and Lurie. This gives a suitable approach for describing highly structured objects from homotopy theory. A central…

We study the mathematical structure of the notion of measurement space, which extends aspects of noncommutative topology that are based on quantale theory. This yields a geometric model of physical measurements that provides a realist…

Building on the theory of noncommutative complex structures, the notion of a noncommutative K\"ahler structure is introduced. In the quantum homogeneous space case many of the fundamental results of classical K\"ahler geometry are shown to…

C*-algebras are widely used in mathematical physics to represent the observables of physical systems, and are sometimes taken as the starting point for rigorous formulations of quantum mechanics and classical statistical mechanics.…

This paper introduces a canonical Polish groupoid associated to any separable unital C*-algebra, termed the unitary conjugation groupoid. It is defined as the semidirect product of the algebra's dual space by its unitary group, acting by…

We introduce the CP*-construction on a dagger compact closed category as a generalisation of Selinger's CPM-construction. While the latter takes a dagger compact closed category and forms its category of "abstract matrix algebras" and…

To a large class of graphs of groups we associate a C*-algebra universal for generators and relations. We show that this C*-algebra is stably isomorphic to the crossed product induced from the action of the fundamental group of the graph of…

We continue our study of the concepts of amenability and co-amenability for algebraic quantum groups in the sense of A. Van Daele and our investigation of their relationship with nuclearity and injectivity. One major tool for our analysis…

The CBH theorem characterises quantum theory within a C*-algebraic framework. Namely, mathematical properties of C*-algebras modelling quantum systems are equivalent to constraints that are information-theoretic in nature: (1)…

We develop an algebraic and operational framework for quantum isomorphisms of hypergraphs, using tools from compact quantum group theory. We introduce a new synchronous version of the hypergraph isomorphism game whose game algebra uniformly…

Bergeron and Li have introduced a set of axioms which guarantee that the Grothendieck groups of a tower of algebras $\bigoplus_{n\ge0}A_n$ can be endowed with the structure of graded dual Hopf algebras. Hivert and Nzeutzhap, and…

In this paper, we introduce the notion of a von Neumann category, as a generalization and categorification of von Neumann algebra. A von Neumann category is a premonoidal category with compatible dagger structure which embeds as a double…

The Grothendieck groups of the categories of finitely generated modules and finitely generated projective modules over a tower of algebras can be endowed with (co)algebra structures that, in many cases of interest, give rise to a dual pair…

Presented is a structure theorem for the Leibniz Homology, HL_*, of an Abelian extension of a simple real Lie algebra g. As applications, results are stated for affine extensions of the classical Lie algebras sl_n(R), so_n(R), and sp_n(R).…

This article introduces Hilbert $*$-categories: an abstraction of categories with similar algebraic and analytic properties to the categories of real, complex, and quaternionic Hilbert spaces and bounded linear maps. Other examples include…

In my Montreal lecture notes of 1988, it was suggested that the theory of linear quantum groups can be presented in the framework of the category of {\it quadratic algebras} (imagined as algebras of functions on "quantum linear spaces"),…

We functorially characterize groupoids as special dagger Frobenius algebras in the category of sets and relations. This is then generalized to a non-unital setting, by establishing an adjunction between H*-algebras in the category of sets…

An often used model for quantum theory is to associate to every physical system a C*-algebra. From a physical point of view it is unclear why operator algebras would form a good description of nature. In this paper, we find a set of…

A host algebra generalises the concept of a group algebra as follows. Let F be a unital C*-algebra, and let S_0 be a proper subset of its states within which one wants to keep the analysis (e.g. F is the group algebra of a discrete group G,…

We introduce a noncommutative and noncocommutative Hopf algebra which takes for certain Hopf categories (and therefore braided monoidal bicategories) a similar role as the Grothendieck- Teichmueller group for quasitensor categories. We also…