偏缠绕模的Maschke型定理

设(A,C,ψ),(A′,C′,ψ′)为两偏缠绕结构,给定α:A→A′和γ:C→C′.引入两个偏缠绕模范畴M(ψ)_A^C和M(ψ′)_A′~C′的导出函子F,并证明此导出函子F有右伴随函子:G:M(ψ′)_A′~C′→M(ψ)_A^C.最后,引入偏正规化余积分θ:C→AA的概念并证明了偏缠绕模范畴的Maschke型定理,也就是说,假设存在偏正规化余积分,给定M_A^C(ψ)中态射f:M→N,则有当单(满)态射f看作C-余模态射可分裂时,必有单(满)态射f在M_A^C(ψ)中可分裂.