 The opposite ring can be used to define multimodules, a generalization of bimodules.They also help clarify the relationship between left and right modules (see Properties).Monoids, groups, rings, and algebras can all be viewed as categories with a single object.