The 2-category of bimodules in its incarnation as a 2-category with proarrow equipment appears as example 2.3 in
Created on February 16, 2013 at 08:00:57. See the history of this page for a list of all contributions to it.