Related papers: Hopf measuring comonoids and enrichment

Let $A$ be a Hopf algebra in a braided category $\cal C$. Crossed modules over $A$ are introduced and studied as objects with both module and comodule structures satisfying a compatibility condition. The category $\DY{\cal C}^A_A$ of…

In any symmetric monoidal category, the $n$-th (co)equalizer symmetric power of an object $A$ is the (co)equalizer of all the permutations from $A^{\otimes n}$ to itself. If the symmetric monoidal category is $\mathbb{Q}_{\ge 0}$-linear,…

In this paper, we mainly give some equivalent characterisations of Hopf braces, show that the category $\mathcal{CB}(A)$ of Hopf braces is equivalent to the category $\mathcal{C}(A)$ of bijective 1-cocycles, and prove that the category…

Let $H$ and $L$ be quantum groupoids. If $H$ has a quasitriangular structure, then we show that $L$ induces a Hopf algebra $C_{L}(L_s)$ in the category $_{H}\mathcal{M}$, which generalizes the transmutation theory introduced by Majid.…

In this paper we introduce the notion of generalized invertible 1-cocycle in a strict braided monoidal category C, and we prove that the category of Hopf trusses is equivalent to the category of generalized invertible 1-cocycles. On the…

Let $k$ be a commutative ring, $H$ a faithfully flat Hopf algebra with bijective antipode, $A$ a $k$-flat right $H$-comodule algebra. We investigate when a relative Hopf module is projective over the subring of coinvariants $B=A^{{\rm…

We define a Hopf cyclic (co)homology theory in an arbitrary symmetric strict monoidal category. Thus we unify all different types of Hopf cyclic (co)homologies under one single universal theory. We recover Hopf cyclic (co)homology of module…

A PROB is a "product and braid" category. Such categories can be used to encode the structure borne by an object in a braided monoidal category. In this paper we provide PROBs whose categories of algebras in a braided monoidal category are…

Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category…

The abelian category of tetramodules over an associative bialgebra $A$ is related with the Gerstenhaber-Schack (GS) cohomology as $Ext_\Tetra(A,A)=H_\GS(A)$. We construct a 2-fold monoidal structure on the category of tetramodules of 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…

We extend the previously established zesting techniques from fusion categories to general tensor categories. In particular we consider the category of comodules over a Hopf algebra, providing a detailed translation of the categorical…

We present an expository overview of the monoidal structures in the category of linearly compact vector spaces. Bimonoids in this category are the natural duals of infinite-dimensional bialgebras. We classify the relations on words whose…

We introduce and study bimeasurings from pairs of bialgebras to algebras. It is shown that the universal bimeasuring bialgebra construction, which arises from Sweedler's universal measuring coalgebra construction and generalizes the finite…

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…

Combinatorial Hopf algebras of trees exemplify the connections between operads and bialgebras. Painted trees were introduced recently as examples of how graded Hopf operads can bequeath Hopf structures upon compositions of coalgebras. We…

We study the Hopf monoid of convex geometries, which contains partial orders as a Hopf submonoid, and investigate the combinatorial invariants arising from canonical characters. Each invariant consists of a pair: a polynomial and a more…

We describe a method for quantization of Poisson Hopf algebras in $\mathbb Q$-linear symmetric monoidal categories. It is compatible with tensor products and can also be used to produce braided Hopf algebras. The main idea comes from the…

Let $A$ be a non-degenerate algebra over the complex numbers and $\Delta$ a homomorphism from $A$ to the multiplier algebra $M(A\otimes A)$. Consider the linear maps $T_1$ and $T_2$ from $A\otimes A$ to $M(A\otimes A)$ defined by…

In arXiv:1709.07504 Ardila and Aguiar give a Hopf monoid structure on hypergraphs as well as a general construction of polynomial invariants on Hopf monoids. Using these results, we define in this paper a new polynomial invariant on…