Related papers: Comodules over weak multiplier bialgebras
A non-unital generalization of weak bialgebra is proposed with a multiplier-valued comultiplication. Certain canonical subalgebras of the multiplier algebra (named the `base algebras') are shown to carry coseparable co-Frobenius coalgebra…
We continue the study of the representation theory of a regular weak multiplier bialgebra with full comultiplication, started in arXiv:1306.1466, arXiv:1311.2730. Yetter-Drinfeld modules are defined as modules and comodules, with…
The notion of multiplier Hopf monoid in any braided monoidal category is introduced as a multiplier bimonoid whose constituent fusion morphisms are isomorphisms. In the category of vector spaces over the complex numbers, Van Daele's…
We propose a categorical interpretation of multiplier Hopf algebras, in analogy to usual Hopf algebras and bialgebras. Since the introduction of multiplier Hopf algebras by Van Daele in [A. Van Daele, Multiplier Hopf algebras, {\em Trans.…
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…
Let A be a finite dimensional unital associative algebra over a field K, which is also equipped with a coassociative counital coalgebra structure (\Delta,\eps). A is called a Weak Bialgebra if the coproduct \Delta is multiplicative. We do…
Weak bimonoids in duoidal categories are introduced. They provide a common generalization of bimonoids in duoidal categories and of weak bimonoids in braided monoidal categories. Under the assumption that idempotent morphisms in the base…
Based on the novel notion of `weakly counital fusion morphism', regular weak multiplier bimonoids in braided monoidal categories are introduced. They generalize weak multiplier bialgebras over fields and multiplier bimonoids in braided…
A weak multiplier Hopf algebra is a pair (A,\Delta) of a non-degenerate idempotent algebra A and a coproduct $\Delta$ on A. The coproduct is a coassociative homomorphism from A to the multiplier algebra M(A\otimes A) with some natural extra…
This paper is a fundamental study of comodules and contramodules over a comonoid in a symmetric closed monoidal category. We study both algebraic and homotopical aspects of them. Algebraically, we enrich the comodule and contramodule…
Generalising a result for Hopf algebras, we not only define the four possible types of Hopf modules in the bialgebroid setting but also yield the notion of two-sided two-cosided Hopf modules, also known as Hopf bimodules or tetramodules, in…
Grothendieck-Verdier duality is a powerful and ubiquitous structure on monoidal categories, which generalises the notion of rigidity. Hopf algebroids are a generalisation of Hopf algebras, to a non-commutative base ring. Just as the…
It will be seen that if $H$ is a weak Hopf algebra in the definition of coaction of weak bialgebras on coalgebras \cite{Wang}, then a definition property is suppressed giving rise to the (global) coactions of weak Hopf algebras on…
A well-known result by Larson and Sweedler shows that integrals on a Hopf algebra can be obtained by applying the Structure Theorem for Hopf modules to the rational part of its linear dual. This fact can be rephrased by saying that taking…
We study the basic monoidal properties of the category of Hopf modules for a coquasi Hopf algebra. In particular we discuss the so called fundamental theorem that establishes a monoidal equivalence between the category of comodules and the…
We show that for dually paired bialgebras, every comodule algebra over one of the paired bialgebras gives a comodule algebra over their Drinfeld double via a crossed product construction. These constructions generalize to working with…
We introduce the notion of support equivalence for (co)module algebras (over Hopf algebras), which generalizes in a natural way (weak) equivalence of gradings. We show that for each equivalence class of (co)module algebra structures on a…
We study monoidal comonads on a naturally Frobenius map-monoidale $M$ in a monoidal bicategory $\mathcal M$. We regard them as bimonoids in the duoidal hom-category $\mathcal M(M,M)$, and generalize to that setting various conditions…
The Structure Theorem for Hopf modules states that if a bialgebra $H$ is a Hopf algebra (i.e. it is endowed with a so-called antipode) then every Hopf module $M$ is of the form ${M}^{\mathrm{co}{H}}\otimes H$, where ${M}^{\mathrm{co}{H}}$…
The aim of this paper is to prove the statement in the title. As a by-product, we obtain new globalization results in cases never considered before, such as partial corepresentations of Hopf algebras. Moreover, we show that for partial…