## 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](http://arxiv.org/abs/0706.1286) ## Related entries * [[coalgebra over a comonad]]