Related papers: Distributive laws and Hopf quasigroups

For a quasitriangular C*-quantum group, we enrich the twisted tensor product constructed in the first part of this series to a monoidal structure on the category of its continuous coactions on C*-algebras. We define braided C*-quantum…

The matched pair theory (of groups) is studied for a class of quasigroups; namely, the $m$-inverse property loops. The theory is upgraded to the Hopf level, and the "$m$-invertible Hopf quasigroups" are introduced.

In the category of abelian groups, Pareigis constructed a Hopf ring whose comodules are differential graded abelian groups. We show that this Hopf ring can be obtained by combining grading and differential Hopf rings using semidirect…

We recall the notion of Hopf quasigroups introduced previously. We construct a bicrossproduct Hopf quasigroup $kM\bicross k(G)$ from every group $X$ with a finite subgroup $G\subset X$ and IP quasigroup transversal $M\subset X$ subject to…

Families of codes such as group codes, constacyclic and skew cyclic codes, some of which independently suggested in the literature, turn out to be special instances of the general family of crossed product codes. Hamming-metric is a main…

In this paper we continue the study started recently in \cite{ABMbp} by describing and classifying all Hopf algebras $E$ that factorize through two Sweedler's Hopf algebras. Equivalently, we classify all bicrossed products $H_4 \bowtie…

We introduce semidirect products of skew monoidal categories as a categorification of semidirect products of monoids (or, perhaps more familiarly, of groups). We also discuss how this construction interacts with monoidal, autonomous and…

Let $H$ be a finite dimensional quasi-Hopf algebra over a field $k$ and ${\mathfrak A}$ a right $H$-comodule algebra in the sense of Hausser and Nill. We first show that on the $k$-vector space ${\mathfrak A}\ot H^*$ we can define an…

We classify an algebraic phenomenon on certain families of wreath products that can be seen as coming from a family of puzzles about switches on the corners of a spinning table. Such puzzles have been written about and generalized since…

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…

Fix a monoidal category C. The 2-category of monads in the 2-category of C-actegories, colax C-equivarant functors, and C-equivariant natural transformations of colax functors, may be recast in terms of pairs consisting of a usual monad and…

One-dimensional quasi-periodic systems with power-law hopping, $1/r^a$, differ from both the standard Aubry-Azbel-Harper (AAH) model and from power-law systems with uncorrelated disorder. Whereas in the AAH model all single-particle states…

Twisted \'etale groupoid algebras have been studied recently in the algebraic setting by several authors in connection with an abstract theory of Cartan pairs of rings. In this paper, we show that extensions of ample groupoids correspond in…

The topic of this thesis is the application of distributive laws between comonads to the theory of cyclic homology. Explicitly, our main aims are: 1) To study how the cyclic homology of associative algebras and of Hopf algebras in the…

We show that the unrestricted wreath product of a sofic group by an amenable group is sofic. We use this result to present an alternative proof of the known fact that any group extension with sofic kernel and amenable quotient is again a…

We show that, under some mild conditions, a bialgebra in an abelian and coabelian braided monoidal category has a weak projection onto a formally smooth (as a coalgebra) sub-bialgebra with antipode; see Theorem 1.12. In the second part of…

For a quantaloid $\mathcal{Q}$, considered as a bicategory, Walters introduced categories enriched in $\mathcal{Q}$. Here we extend the study of monad-quantale-enriched categories of the past fifteen years by introducing…

Let $ Aut_{mHH}(H)$ denote a set of all automorphisms of a monoidal Hopf algebra $H$ with bijective antipode in the sense of Caenepeel S. and Goyvaerts I. (Commun. Algebra 39, 2216-2240, 2011) and let $G$ be a crossed product group $…

Based on a pairing of two regular multiplier Hopf algebras $A$ and $B$, Heisenberg double $\mathscr{H}$ is the smash product $A \# B$ with respect to the left regular action of $B$ on $A$. Let $\mathscr{D}=A\bowtie B$ be the Drinfel'd…

Let $H$ be a Hopf quasigroup with bijective antipode and let $Aut_{HQG}(H)$ be the set of all Hopf quasigroup automorphisms of $H$. We introduce a category ${_{H}\mathcal{YDQ}^{H}}(\alpha,\beta)$ with $\alpha,\beta\in Aut_{HQG}(H)$ and…