  We show that, with some technical conditions, an abelian category can be
embedded into the category of bimodules over a ring. The case of semisimple
rigid monoidal categories is studied in more detail.
