加群の圏
↑ “module category in nLab”, ncatlab.org, http://ncatlab.org/nlab/show/module+category
↑ Dummit–Foote, Ch. 10, Theorem 38.
↑ Bourbaki, § 6.