Related papers: Notes on bimonads and Hopf monads

We introduce the notion of an oplax Hopf monoid in any braided monoidal bicategory, generalizing that of a Hopf monoid in a braided monoidal category in an appropriate way. We show that Hopf V-categories introduced in [BCV16] are a…

Covariant Hom-bimodules are introduced and the structure theory of them in the Hom-setting is studied in a detailed way. The category of bicovariant Hom-bimodules is proved to be a (pre)braided monoidal category and its structure theory is…

A traced monad is a monad on a traced symmetric monoidal category that lifts the traced symmetric monoidal structure to its Eilenberg-Moore category. A long-standing question has been to provide a characterization of traced monads without…

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,…

Finite-dimensional Hopf algebras admit a correspondence between so-called pairs in involution, one-dimensional anti-Yetter--Drinfeld modules and algebra isomorphisms between the Drinfeld and anti-Drinfeld double. We extend it to general…

Hopf algebroids are generalization of Hopf algebras over non-commutative base rings. It consists of a left- and a right-bialgebroid structure related by a map called the antipode. However, if the base ring of a Hopf algebroid is commutative…

{\em Galois comodules} over a coring can be characterised by properties of the relative injective comodules. They motivated the definition of {\em Galois functors} over some comonad (or monad) on any category and in the first section of the…

A Hopf monoid (in Joyal's category of species) is an algebraic structure akin to that of a Hopf algebra. We provide a self-contained introduction to the theory of Hopf monoids in the category of species. Combinatorial structures which…

We construct Hopf bimodules and Yetter-Drinfeld modules of Hopf algebroids as a generalization of the theory for Hopf algebras. More precisely, we show that the categories of Hopf bimodules and Yetter-Drinfeld modules over a Hopf algebroid…

For $\mathcal{C}$ a finite tensor category we consider four versions of the central monad, $A_1, \dots, A_4$ on $\mathcal{C}$. Two of them are Hopf monads, and for $\mathcal{C}$ pivotal, so are the remaining two. In that case all $A_i$ are…

We extend the formalism of Hopf cyclic cohomology to the context of braided categories. For a Hopf algebra in a braided monoidal abelian category we introduce the notion of stable anti-Yetter-Drinfeld module. We associate a para-cocyclic…

We prove that a quasi-bialgebra admits a preantipode if and only if the associated free quasi-Hopf bimodule functor is Frobenius, if and only if the relative (opmonoidal) monad is a Hopf monad. The same results hold in particular for a…

This is an introduction for algebraists to the theory of algebras and Hopf algebras in braided categories. Such objects generalise super-algebras and super-Hopf algebras, aswell as colour-Lie algebras. Basic facts about braided categories C…

For any finite-dimensional Hopf algebra $H$ we construct a group homomorphism $\biga(H)\to \text{BrPic}(\Rep(H))$, from the group of equivalence classes of $H$-biGalois objects to the group of equivalence classes of invertible exact…

We define a weak bimonad as a monad T on a monoidal category M with the property that the Eilenberg-Moore category M^T is monoidal and the forgetful functor from M^T to M is separable Frobenius. Whenever M is also Cauchy complete, a simple…

We introduce monoidal categories whose monoidal products of any positive number of factors are lax coherent and whose nullary products are oplax coherent. We call them $\mathsf{Lax}^+\mathsf{Oplax}^0$-monoidal. Dually, we consider…

Let A be a Hopf algebra in a braided rigid category B. In the case B admits a coend C, which is a Hopf algebra in B, we defined in 2008 the double D(A) of A, which is a quasitriangular Hopf algebra in B whose category of modules is…

We first introduce the notion of Doi Hom-Hopf modules and find the sufficient condition for the category of Doi Hom-Hopf modules to be monoidal. Also we obtain the condition for the monoidal Hom-algebra and monoidal Hom-coalgebra to be…

We provide an explicit construction of Hopf categories associated to comonoidal functors, generalizing \v{S}evera's construction of Hopf monoids through M-adapted functors. We discuss the example of the Hopf category whose underlying class…

By building on the notions of internal projective and injective objects in a module category introduced by Douglas, Schommer-Pries, and Snyder, we extend the reconstruction theory for module categories of Etingof and Ostrik. More…