半群分次范畴的Smash积

设S为有单位元1的可消半群,引入半群S-分次范畴的Smash积的概念,分别证明半群S-分次范畴C的Smash积C#S的商范畴(C#S)/S与范畴C同构,以及自由半群S-范畴B的商范畴B/S的Smash积范畴(B/S)#S与范畴B同构.从而说明半群分次范畴的Smash积与自由半群作用范畴的商在半群分次范畴和自由半群作用范畴之间是互逆的结构.

半群分次范畴上的模范畴,Galois盖与Smash积

设S为有单位元的可消半群.引入半群S对C-M od的作用及半群S分次C-模范畴的概念,证明了当C为B的G a lo is盖时,B-模范畴与C的不动点满子范畴是一致的.对半群S分次B-模范畴,Sm ash积B#S-模范畴与半群S分次B-模范畴是一致的;同时还讨论了半群S分次模的Sm ash积,刻画了Sm ash积函子#与(-)*之间的关系.