Assume R has an identity. Let be the category of all unitary R-R bimodules and bimodule

Assume R has an identity. Let ϱ be the category of all unitary R-R bimodules and bimodule homomorphisms (that is, group homomorphisms ∫ : A → B such that ∫(ras) = r∫(a)s for all r,s ϵ R). Let X = { 1_R} and let _L :X → R be the inclusion map.