Related papers: Yetter-Drinfeld-Long bimodules are modules

We define Hopf monads on an arbitrary monoidal category, extending the definition given previously for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition…

We discuss an example of a triangulated Hopf category related to SL(2). It is an equivariant derived category equipped with multiplication and comultiplication functors and structure isomorphisms. We prove some coherence equations for…

Starting with a self-dual Hopf algebra H in a braided monoidal category S we construct a Z/2Z-graded monoidal category C = C_0 + C_1. The degree zero component is the category Rep_S(H) of representations of H and the degree one component is…

We introduce a new type of categorical object called a \emph{hom-tensor category} and show that it provides the appropriate setting for modules over an arbitrary hom-bialgebra. Next we introduce the notion of \emph{hom-braided category} and…

In braided tensor categories we show the Maschke's theorem and give the necessary and sufficient conditions for double cross biproducts and crossbiproducts and biproducts to be bialgebras. We obtain the factorization theorem for braided…

We study a functor from anti-Yetter Drinfeld modules to contramodules in the case of a Hopf algebra $H$. Some byproducts of this investigation are the establishment of sufficient conditions for this functor to be an equivalence,…

We define a new algebra of noncommutative differential forms for any Hopf algebra with an invertible antipode. We prove that there is a one to one correspondence between anti-Yetter-Drinfeld modules, which serve as coefficients for the Hopf…

In this paper we mainly construct bicrossproduct for finite-dimensional monoidal Hom-Hopf algebra $(H,\alpha)$, generalizing the Majid's bicrossproduct. Naturally the Hom-type bicrossproduct leads to Drinfel'd double $(H^{op}\bowtie…

Let H be a Hopf algebra with bijective antipode, let \alpha, \beta be two Hopf algebra automorphisms of H and M a finite dimensional (\alpha, \beta )-Yetter-Drinfeld module. We prove that End(M) endowed with certain structures becomes an…

Let $H$ be the $16$-dimensional nontrivial (namely, noncommutative and noncocommutative) semisimple Hopf algebra $H_{b:x^2y}$ classified by Kashina. We figure out all simple Yetter-Drinfeld $H$-modules, and then determine all…

We briefly report on our result that the braided tensor product algebra of two module algebras $A_1,A_2$ of a quasitriangular Hopf algebra $H$ is equal to the ordinary tensor product algebra of $H_1$ with a subalgebra isomorphic to $A_2$…

We consider Hopf bimodules and crossed modules over a Hopf algebra $H$ in a braided category. They are the key-stones for braided bicovariant differential calculi and their invariant vector fields respectively, as well as for the…

Considering the monoidal category $\mathcal{C}$ obtained as modules over a Hopf algebra $H$ in a rigid braided category $\mathcal{B}$, we prove decomposition results for the Hochschild and cyclic homology categories $HH(\mathcal{C})$ and…

Let $H$ be a finite Hopf algebra with $C_{H,H} = C_{H,H}^{-1}.$ The duality theorem is shown for $H$, i.e., $$ (R # H)# H^{\hat *} \cong R \otimes (H \bar \otimes H^{\hat *}) \hbox {as algebras in} {\cal C}.$$ Also, it is proved that the…

We start from any small strict monoidal braided Ab-category and extend it to a monoidal nonstrict braided Ab-category which contains braided bialgebras. The objects of the original category turn out to be modules for these bialgebras

Over fields of characteristic zero, we determine all absolutely irreducible Yetter-Drinfeld modules over groups that have prime dimension and yield a finite-dimensional Nichols algebra. To achieve our goal, we introduce orders of braided…

Two Hopf algebras are called monoidally Morita equivalent if module categories over them are equivalent as linear monoidal categories. We introduce monoidal Morita invariants for finite-dimensional Hopf algebras based on certain braid group…

For a finite quiver without sources or sinks, we prove that the homotopy category of acyclic complexes of injective modules over the corresponding finite dimensional algebra with radical square zero is triangle equivalent to the derived…

We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra theory, such as Hopf group (co)algebras, weak Hopf algebras and duoidal categories. We…

A laycle is the categorical analogue of a lazy cocycle. Twines (as introduced by Bruguieres) and strong twines (as introduced by the authors) are laycles satisfying some extra conditions. If $c$ is a braiding, the double braiding $c^2$ is…