Spahn bimodule

References

The 2-category of bimodules in its incarnation as a 2-category with proarrow equipment appears as example 2.3 in