Related papers: On bicolimits of $ C^* $-categories
We introduce the notions of multiplier C*-category and continuous bundle of C*-categories, as the categorical analogues of the corresponding C*-algebraic notions. Every symmetric tensor C*-category with conjugates is a continuous bundle of…
We review the notions of a multiplier category and the $W^{*}$-envelope of a $C^{*}$-category. We then consider the notion of an orthogonal sum of a (possibly infinite) family of objects in a $C^{*}$-category. Furthermore, we construct…
Given a Hausdorff compact space X, we study the C^*-(semi)-norms on the algebraic tensor product $A\otimes_{alg,C(X)} B$ of two C(X)-algebras A and B over C(X). In particular, if one of the two C(X)-algebras defines a continuous field of…
We provide a reference for basic categorial properties of the categories of (possibly non-unital) $\mathbb{C}$-linear $*$-categories or $C^{*}$-categories, and (not necessarily unit-preserving) functors. Generalizing the classical case of…
We interpret several constructions with C*-algebras as colimits in the bicategory of correspondences. This includes crossed products for actions of groups and crossed modules, Cuntz-Pimsner algebras of proper product systems, direct sums…
We extend the theory of tensor products of C*-algebras to the larger category of Fell bundles over locally compact groups. We prove that, like in the case of C*-algebras, there exist maximal and minimal tensor products. Given two Fell…
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…
It is shown that the idempotent completion of the additive hull of the tensor product of the residue category of the category of paths of a locally finite quiver modulo an admissible ideal and a dualizing category is dualizing. Furthermore,…
We obtain a Galois correspondence between the lattice of intermediate C*-discrete subalgebras intermediate to a given irreducible C*-discrete inclusion, and characterize these as targets of compatible expectations under a traciality…
A C*-tensor category with simple unit object is realized by von Neumann algebra bimodules of finite Jones index if and only if it is rigid.
We show that the quotient of the continuous cluster category $\mathcal C_\pi$ modulo the additive subcategory generated by any cluster is an abelian category and we show that it is isomorphic to the category of infinite length modules over…
The balanced tensor product M (x)_A N of two modules over an algebra A is the vector space corepresenting A-balanced bilinear maps out of the product M x N. The balanced tensor product M [x]_C N of two module categories over a monoidal…
We prove that if C is a tensor C*-category in a certain class, then there exists an uncountable family of pairwise non stably isomorphic II_1 factors (M_i) such that the bimodule category of M_i is equivalent to C for all i. In particular,…
We define a collection of tensor product norms for C*-algebras and show that a symmetric tensor product functor on the category of separable C*-algebras need not be associative.
We introduce the category of C*-discrete inclusions of C*-algebras $A\subset B$ with a faithful conditional expectation $E:B\twoheadrightarrow A$. This class includes many examples such as finite Watatani index inclusions, and also abundant…
We prove the equivalence of two tensor products over a category of W*-algebras with normal (not necessarily unital) *-homomorphisms, defined by Guichardet and Dauns, respectively. This structure differs from the standard tensor product…
We investigate what would be a correct definition of categorical completeness for C*-categories and propose several variants of such a definition that make the category of Hilbert modules over a C*-algebra a free (co)completion. We extend…
In this expository paper we explain in detail how to construct bicategorical colimits of several kinds of tensor categories, for example essentially small finitely cocomplete K-linear tensor categories. The constructions are direct and…
This paper develops a theory of monoidal categories relative to a braided monoidal category, called augmented monoidal categories. For such categories, balanced bimodules are defined using the formalism of balanced functors. The two main…
Categorical aspects of the theory of modules over trusses are studied. Tensor product of modules over trusses is defined and its existence established. In particular, it is shown that bimodules over trusses form a monoidal category. Truss…