Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
A W*-category is a horizontal categorification of a von Neumann algebra.
W*-categories are in the same relation to C*-categories as von Neumann algebras are to C*-algebras.
A W*-category is a C*-category $C$ such that for any objects $A,B\in C$, the hom-object $Hom(A,B)$ admits a predual as a Banach space. That is, there is a Banach space $Hom(A,B)_*$ such that $(Hom(A,B)_*)^*$ is isomorphic to $Hom(A,B)$ in the category of Banach spaces and contractive maps (alias short maps).
A W*-functor is a functor $F\colon C\to D$ such that $F(f^*)=F(f)^*$ for any morphism $f$ in $C$ and the map of Banach spaces $Hom(A,B)\to Hom(F(A),F(B))$ admits a predual for any objects $A$ and $B$ in $C$.
The good notion of natural transformations between W*-categories is given by bounded natural transformations: a natural transformation $t\colon F\to G$ between W*-functors is bounded if the norm of $t_X\colon F(X)\to G(X)$ is bounded with respect to the object $X$ of $C$.
W*-categories, W*-functors, and bounded natural transformations form a bicategory.
This bicategory is a good setting to work with objects like Hilbert spaces, Hilbert W*-modules over von Neumann algebras, W*-representations of von Neumann algebras, etc.
In particular, in this bicategory, the category of Hilbert spaces is both complete and cocomplete, unlike in the usual bicategory of categories, functors, and natural transformations, where it only has finite limits and finite colimits.
The same is true for Hilbert W*-modules over von Neumann algebras, W*-representations of von Neumann algebras.
1 to 1 of 1