Definition 4.9.11.  Let u ∈ , R be a ring. We define:
Remarks.

The objects of this category are actually isomorphism classes of modules.

References.