相关论文: Maschke functors, semisimple functors and separabl…

A functor of sets $\mathbb X$ over the category of $K$-commutative algebras is said to be an affine functor if its functor of functions, $\mathbb A_{\mathbb X}$, is reflexive and $\mathbb X=\Spec \mathbb A_{\mathbb X}$. We prove that affine…

We study integrals of Hopf monoids in duoidal endohom categories of naturally Frobenius map monoidales in monoidal bicategories. We prove two Maschke type theorems, relating the separability of the underlying monoid and comonoid,…

A theory of a derivator version of six-functor-formalisms is developed, using an extension of the notion of fibered multiderivator due to the author. Using the language of (op)fibrations of 2-multicategories this has (like a usual fibered…

Functorial semi-norms are semi-normed refinements of functors such as singular (co)homology. We investigate how different types of representability affect the (non-)triviality of finite functorial semi-norms on certain functors or classes.…

Making the first steps towards a classification of simple partial comodules, we give a general construction for partial comodules of a Hopf algebra \(H\) using central idempotents in right coideal subalgebras and show that any…

We introduce and discuss the notion of naturally full functor. The definition is similar to the definition of separable functor: a naturally full functor is a functorial version of a full functor, while a separable functor is a functorial…

For all subgroups $H$ of a cyclic $p$-group $G$ we define norm functors that build a $G$-Mackey functor from an $H$-Mackey functor. We give an explicit construction of these functors in terms of generators and relations based solely on the…

Suppose we are given complex manifolds $X$ and $Y$ together with substacks $\mathcal{S}$ and $\mathcal{S}'$ of modules over algebras of formal deformation $\mathcal{A}$ on $X$ and $\mathcal{A}'$ on $Y$, respectively. Suppose also we are…

Fractional derivative can be defined as a fractional power of derivative. The commutator (i/h)[H, ], which is used in the Heisenberg equation, is a derivation on a set of observables. A derivation is a map that satisfies the Leibnitz rule.…

Let $G$ be a finite group. In [HTW], Hambleton, Taylor and Williams have considered the question of comparing Mackey functors for $G$ and biset functors defined on subgroups of $G$ and bifree bisets as morphisms. This paper proposes a…

A simple criterion for a functor to be finitary is presented: we call $F$ finitely bounded if for all objects $X$ every finitely generated subobject of $FX$ factorizes through the $F$-image of a finitely generated subobject of $X$. This is…

It is characterized when coarsening functors between categories of graded modules preserve injectivity of objects, and when they commute with graded covariant Hom functors.

For an adjoint pair $(F, G)$ of functors, we prove that $G$ is a separable functor if and only if the defined monad is separable and the associated comparison functor is an equivalence up to retracts. In this case, under an idempotent…

Let $\mathcal{C}$ be a finite tensor category, and let $\mathcal{M}$ be an exact left $\mathcal{C}$-module category. The relative Serre functor of $\mathcal{M}$ is an endofunctor $\mathbb{S}$ on $\mathcal{M}$ together with a natural…

We study module like objects over categorical quotients of algebras by the action of coalgebras with several objects. These take the form of ``entwined comodules'' and ``entwined contramodules'' over a triple $(\mathscr C,A,\psi)$, where…

A general Mackey type decomposition for representations of semisimple Hopf algebras is investigated. We show that such a decomposition occurs in the case that the module is induced from an arbitrary Hopf subalgebra and it is restricted back…

Let $U:\mathcal{C}\rightarrow\mathcal{D}$ be a strong monoidal functor between abelian monoidal categories admitting a right adjoint $R$, such that $R$ is exact, faithful and the adjunction $U\dashv R$ is coHopf. Building on the work of…

We generalize the fundamental structure Theorem on Hopf (bi)-modules by Larson and Sweedler to quasi-Hopf algebras H. If H is finite dimensional this proves the existence and uniqueness (up to scalar multiples) of integrals in H. Among…

Entwined modules over cowreaths in a monoidal category are introduced. They can be identified to coalgebras in an appropriate monoidal category. It is investigated when such coalgebras are Frobenius (resp. separable), and when the forgetful…

In this article, we consider a formulation of biset functors using the 2-category of finite sets with variable finite group actions. We introduce a 2-category $\mathbb{S}$, on which a biset functor can be regarded as a special kind of…