根据加法范畴D上加法函子F,定义回路范畴ΩD上加法函子ΩF,并给出一族范畴等价Ω(D∝F)≌ΩD∝ΩF;证明了k上小范畴(G-分次范畴)的回路范畴仍为k上小范畴(G-分次范畴),同时给出了一族范畴等价(ΩD)#G≌Ω(D#G)。
After giving an additive functor F over an additive category D,defines an additive functor ΩF over the loop category ΩD,and obtains that Ω( D ∝ F)≌( ΩD) ∝ ΩF; proves that the loop category of a small category over k( G-graded category over k) is also a small category over k( G-graded category over k),and obtains that Ω( D#G) ≌( ΩD) #G.