通过引入左正交维数,证明了与一个余倾斜模左正交的有限生成模范畴是函子有限的.
The category consisting of modules which are left orthogonal with a cotilting module was proved to be functorially finite by introducing left orthogonal dimension.