Related papers: Complete W*-categories

We conjecture that a unital C$^*$-algebra is a W$^*$-algebra if and only if each of its maximal abelian self-adjoint subalgebras is a W$^*$-algebra; this is a space-free analogue of a known result due to G.K. Pedersen. Our main result is a…

Given a finite subgroup G of SL(2,C) we define an additive 2-category H^G whose Grothendieck group is isomorphic to an integral form of the Heisenberg algebra. We construct an action of H^G on derived categories of coherent sheaves on…

This article serves as a preliminary introduction to the design of a new, open-source applied and computational category theory framework, named Categorica, built on top of the Wolfram Language. Categorica allows one to configure and…

We show that every essentially small finitely semisimple k-linear additive spherical category in which k=End(1) is a field, is equivalent to its dual over the long canonical forgetful functor. This includes the special case of modular…

Connections between heaps of modules and (affine) modules over rings are explored. This leads to explicit, often constructive, descriptions of some categorical constructions and properties that are implicit in universal algebra and…

We describe representations of groupoid C*-algebras on Hilbert modules over arbitrary C*-algebras by a universal property. For Hilbert space representations, our universal property is equivalent to Renault's Integration-Disintegration…

A pro-C^*-algebra is a (projective) limit of C^*-algebras in the category of topological *-algebras. From the perspective of non-commutative geometry, pro-C^*-algebras can be seen as non-commutative k-spaces. An element of a pro-C^*-algebra…

We axiomatise the dagger category of complex Hilbert spaces and bounded linear maps, using exclusively purely categorical conditions. Our axioms are chosen with the aim of an easy interpretability: two of them describe the composition of…

We study linear and hermitian representations of finite $C_2$-graded groups. We prove that the category of linear representations is equivalent to a category of antilinear representations as an $\infty$-category. We also prove that the…

Suppose that H is a complex Hilbert space and that B(H) denotes the bounded linear operators on H. We show that every abelian, amenable operator algebra is similar to a C*-algebra. We do this by showing that if A is an abelian subalgebra of…

We show that several known results about the algebraic K-theory of tensor products of algebras with the C*-algebra of compact operators in Hilbert space remain valid for tensor products with any properly infinite C*-algebra.

If C=C_\phi denotes the mapping cone of an essential phantom map \phi from the suspension of the Eilenberg-Mac Lane complex K=K(Z,5) to the 4-sphere S=S^4 we derive the following properties: (1) The LS category of the product of C with any…

Let $\mathbb{G}$ be a locally compact quantum group, and $A,B$ von Neumann algebras on which $\mathbb{G}$ acts. We refer to these as $\mathbb{G}$-dynamical W$^*$-algebras. We make a study of $\mathbb{G}$-equivariant $A$-$B$-correspondences,…

Let $M\subset N$ be Hilbert $C^*$-modules over a $C^*$-algebra $A$ with $M^\perp=0$. It was shown recently by J. Kaad and M. Skeide that there exists a non-zero $A$-valued functional on $N$ such that its restriction onto $M$ is zero. Here…

We derive faithful inclusions of C*-algebras from a coend-type construction in unitary tensor categories. This gives rise to different potential notions of discreteness for an inclusion in the non-irreducible case, and provides a unified…

Investigating the direct integral decomposition of von Neumann algebras of bounded module operators on self-dual Hilbert W*-moduli an equivalence principle is obtained which connects the theory of direct disintegration of von Neumann…

The aim of this paper is to present a unified framework in the setting of Hilbert $C^*$-modules for the scalar- and vector-valued reproducing kernel Hilbert spaces and $C^*$-valued reproducing kernel spaces. We investigate conditionally…

We define and investigate separable K-linear categories. We show that such a category C is locally finite and that every left C-module is projective. We apply our main results to characterize separable linear categories that are spanned by…

We show that the $\ell^p$-pseudofunctions, which were recently shown to lead to exotic completions of group $C^*$-algebras by Wiersma and the second named author, can be used to construct well-behaved crossed product functors in the sense…

We investigate free products of finite dimensional $C^*$-algebras with amalgamation over diagonal subalgebras. We look to determine under what circumstances a given free product is exact and/or nuclear. In some cases we find a description…