关于Fuller范畴的一个注记

在本文中环R表示有单位元的环,所有模都是右酉模。σM_R]是Mod-R中含有M_R且关于同态像、直和和取子模封闭的最小全子范畴。Gen(M_R)是Mod-R中含有M_R且关于同态像和直和封闭的最小全子范畴。下面这个定义为普通非奇异性的自然拓广。