函子范畴的Smath积

证明了k上G-分次范畴的函子范畴仍是k上G-分次范畴.并在此基础上,考虑k上G-分次范畴的冲积范畴与函子范畴的关系,证明了(D#G)C≌DC#G.

函子范畴上分次范畴冲积范畴 functor category functor of the G-grade category smath product category