Notes on the bicategory of W*-bimodules

TL;DR

This paper demonstrates that categories of W*-bimodules form an involutive W*-bicategory, providing an explicit algebraic framework for understanding their structure.

Contribution

It explicitly constructs the involutive W*-bicategory structure of W*-bimodules, clarifying their algebraic properties.

Findings

W*-bimodules form an involutive W*-bicategory

Explicit algebraic description provided

Enhances understanding of bimodule categorical structures

Abstract

Categories of W*-bimodules are shown in an explicit and algebraic way to constitute an involutive W*-bicategory.