摘要

根据加法范畴D上加法函子F,定义回路范畴ΩD上加法函子ΩF,并给出一族范畴等价Ω(D∝F)≌ΩD∝ΩF;证明了k上小范畴(G-分次范畴)的回路范畴仍为k上小范畴(G-分次范畴),同时给出了一族范畴等价(ΩD)#G≌Ω(D#G).