Related papers: Hopf modules for autonomous pseudomonoids and the …

G-equivariant modular categories provide the input for a standard method to construct 3d homotopy field theories. Virelizier constructed a G-equivariant category from the action of a group G on a Hopf algebra H by Hopf algebra…

The bicategorical point of view provides a natural setting for many concepts in the representation theory of monoidal categories. We show that centers of twisted bimodule categories correspond to categories of 2-dimensional natural…

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}}$…

In this paper, we introduce and investigate \emph{bisemialgebras}and\emph{\ Hopf semialgebras} over commutative semirings. We generalize to the semialgebraic context several results on bialgebras and Hopf algebras over rings including the…

We define two-cocycles and cleft extensions in categories that are not necessarily braided, but where specific objects braid from one direction, like for a Hopf algebra $H$ a Yetter-Drinfeld module braids from the left with $H$-modules. We…

In [LWY23] the authors construct the reflective center of a module category M over a braided monoidal category B. The reflective center is by construction a braided module category over B. In the case where B is the category of modules over…

A Hopf monad, in the sense of Brugui\`eres, Lack, and Virelizier, is a special kind of monad that can be defined for any monoidal category. In this note, we study Hopf monads in the case of a category with finite biproducts, seen as a…

Let $(H, R)$ be a finite dimensional quasitriangular Hopf algebra over a field $k$, and $_H\mathcal{M}$ the representation category of $H$. In this paper, we study the braided autoequivalences of the Drinfeld center $^H_H\mathcal{YD}$…

We investigate algebraic structures that can be placed on vertices of the multiplihedra, a family of polytopes originating in the study of higher categories and homotopy theory. Most compelling among these are two distinct structures of a…

We construct rank varieties for the Drinfel'd double of the Taft algebra and for U_q(sl2). For the Drinfel'd double when n=2 this uses a result which identifies a family of subalgebras that control projectivity of A-modules whenever A is a…

For a finite tensor category $\mathcal C$ and a Hopf monad $T:\mathcal C\to \mathcal C$ satisfying certain conditions we describe exact indecomposable left $\mathcal C^T$-module categories in terms of left $\mathcal C$-module categories and…

We develop a theory of Hopf BiGalois extensions for Hopf algebroids. We understand these to be left bialgebroids (whose left module categories are monoidal categories) fulfilling a condition that is equivalent to being Hopf in the case of…

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…

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…

We show that Turaev's group-coalgebras and Hopf group-coalgebras are coalgebras and Hopf algebras in a symmetric monoidal category, which we call the Turaev category. A similar result holds for group-algebras and Hopf group-algebras. As an…

We show how, under certain conditions, an adjoint pair of braided monoidal functors can be lifted to an adjoint pair between categories of Hopf algebras. This leads us to an abstract version of Michaelis' theorem, stating that given a Hopf…

We introduce a natural generalization of the definition of a symmetric Hopf algebroid, internal to any symmetric monoidal category with coequalizers that commute with the monoidal product. Motivation for this is the study of Heisenberg…

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…

Let $A$ and $H$ be two Hopf algebras. We shall classify up to an isomorphism that stabilizes $A$ all Hopf algebras $E$ that factorize through $A$ and $H$ by a cohomological type object ${\mathcal H}^{2} (A, H)$. Equivalently, we classify up…

We prove that the structure algebra of a Bruhat moment graph of a finite real root system is a Hopf algebroid with respect to the Hecke and the Weyl actions. We introduce new techniques (reconstruction and push-forward formula of a product,…