武夷学院学报
武夷學院學報
무이학원학보
JOURNAL OF WUYI UNIVERSITY
2009年
5期
7-9
,共3页
商范畴%幂等完备%范畴等价
商範疇%冪等完備%範疇等價
상범주%멱등완비%범주등개
设M是加法范畴C上的理想,若商范畴C/M是幂等可提升的,令(M)={α∈Mor((C))|α∈M},本文证明商范畴(C)/(M)与对范畴(C)/(M)的幂等完备化范畴(C)/(M)是范畴等价的.
設M是加法範疇C上的理想,若商範疇C/M是冪等可提升的,令(M)={α∈Mor((C))|α∈M},本文證明商範疇(C)/(M)與對範疇(C)/(M)的冪等完備化範疇(C)/(M)是範疇等價的.
설M시가법범주C상적이상,약상범주C/M시멱등가제승적,령(M)={α∈Mor((C))|α∈M},본문증명상범주(C)/(M)여대범주(C)/(M)적멱등완비화범주(C)/(M)시범주등개적.
