The notion of bimodule makes sense internal to, for instance, any monoidal (infinity,1)-category.

Created on July 11, 2012 at 20:44:26. See the history of this page for a list of all contributions to it.