Related papers: Central bialgebras in Braided Categories and Coqua…
We introduce the concept of braided left-symmetric bialgebras and construct cocycle bicrossproduct left-symmetric bialgebras. As an application, we solve the extending problem for left-symmetric bialgebras by using some non-abelian…
A PROP is a symmetric monoidal category, whose set of objects is the set of natural numbers and on objects the monoidal structure is given by the addition. An algebra over a PROP is a symmetric strict monoidal functor to the tensor category…
It is well known that braided monoidal categories are the categorical algebras of the little two-dimensional disks operad. We introduce involutive little disks operads, which are Z/2Z-orbifold versions of the little disks operads. We…
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…
We endow twisted tensor products with a natural notion of counit and comultiplication, and we provide sufficient and necessary conditions making the twisted tensor product a counital coassociative coalgebra. We then characterize when the…
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 show that the algebra of the bicovariant differential calculus on a quantum group can be understood as a projection of the cross product between a braided Hopf algebra and the quantum double of the quantum group. The resulting super-Hopf…
One problematic feature of Hall algebras is the fact that the standard multiplication and comultiplication maps do not satisfy the bialgebra compatibility condition in the underlying symmetric monoidal category Vect. In the past this…
This is a sequel paper of arXiv:1306.1466 in which we study the comodules over a regular weak multiplier bialgebra over a field, with a full comultiplication. Replacing the usual notion of coassociative coaction over a (weak) bialgebra, a…
We introduce rigid algebras, a generalization of rigid categories to arbitrary symmetric monoidal $(\infty,2)$-categories. We develop their general theory, showing in particular that the a priori $(\infty,2)$-category of rigid algebras is…
We describe the split extension classifiers in the semi-abelian category of cocommutative Hopf algebras over an algebraically closed field of characteristic zero. The categorical notions of centralizer and of center in the category of…
For a matrix coalgebra $C$ over some field, we determine all small subcoalgebras of the free Hopf algebra on $C$, the free Hopf algebra with a bjective antipode on $C$, and the free Hopf algebra with antipode $S$ satisfying $S^{2d}={\rm…
Given two associative algebras A, C and a linear space V together with some linear maps R_1, R_2, R_3, E satisfying some conditions, we define an associative algebra structure on A\otimes V\otimes C called a two-sided crossed product.…
Let ${\mathfrak g}$ be a finite dimensional complex semisimple Lie algebra. The finite dimensional representations of the quantized enveloping algebra $U_q({\mathfrak g})$ form a braided monoidal category $O_{int}$. We show that the…
In this paper, the Drinfeld center of a monoidal category is generalized to a class of mixed Drinfeld centers. This gives a unified picture for the Drinfeld center and a natural Heisenberg analogue. Further, there is an action of the former…
An A_\infty-bialgebra is a DGM H equipped with structurally compatible operations {\omega^{j,i} : H^{\otimes i} --> H^{\otimes j}} such that (H,\omega^{1,i}) is an A_\infty-algebra and (H,\omega^{j,1}) is an A_\infty-coalgebra. Structural…
We introduce the bicategory of bialgebras with coverings (which can be thought of as coalgebra-indexed families of morphisms), and provide a motivating application to the transfer of formulas for primitives and antipode. Additionally, we…
We consider the tube algebra of a spherical semisimple multitensor category $\mathcal{X}$, and construct a braided monoidal structure with twist for its representations. We further show that this category is braided tensor equivalent with…
The article is devoted to the describtion of quasitriangular structures (universal R-matrices) on cocommutative Hopf algebras. It is known that such structures are concentrated on finite dimensional Hopf subalgebras. In particular,…
This paper is a coalgebra version of arXiv:1703.04266 and a sequel to arXiv:1607.03066. We present the definition of a pseudo-dualizing complex of bicomodules over a pair of coassociative coalgebras $\mathcal C$ and $\mathcal D$. For any…