论文部分内容阅读
在本文中,我们建立了一般范畴中的下根类理论。设C是满足条件(c<sub>1</sub>)-(c<sub>11</sub>)的任何一个一般范畴,K<sub>0</sub>是C的任何一个对象类,则在本文中我们构造了一个含有K<sub>0</sub>的根类S,并且S是具有这样性质的根类的最小者。所以S是K<sub>0</sub>的下根类。