Spahn
bimodule
References
- Jacob Lurie, higher algebra, ยง4.3
The 2-category of bimodules in its incarnation as a 2-category with proarrow equipment appears as example 2.3 in
- Michael Shulman, Framed bicategories and monoidal fibrations arXiv:0706.1286