Related papers: Weak bimonoids in duoidal categories

We study the (so-called bilinear) factorization problem answered by a weak wreath product (of monads and, more specifically, of algebras over a commutative ring) in the works by Street and by Caenepeel and De Groot. A bilinear factorization…

This paper introduces the notion of weakly globular double categories, a particular class of strict double categories, as a way to model weak 2-categories; it explores its use in defining a double category of fractions, and shows that the…

We introduce the notion of an oplax Hopf monoid in any braided monoidal bicategory, generalizing that of a Hopf monoid in a braided monoidal category in an appropriate way. We show that Hopf V-categories introduced in [BCV16] are a…

We give an explicit handy (and cocycle-free) description of the groupoid of weak maps between two crossed-modules in terms of certain digrams of groups which we we call a {\em butterflies}. We define composition of butterflies and this way…

The weak units of strict monoidal 1- and 2-categories are already defined. In this paper, we define them for group-like 1- and 2-stacks. We show that they form a contractible Picard 1- and 2-stack, respectively. We give their cohomological…

For a smooth affine algebraic group $G$, one can attach various D-module categories to it that admit convolution monoidal structure. We consider the derived category of D-modules on $G$, the stack $G/G_{ad}$ and the category of…

For a semisimple quasi-triangular Hopf algebra $\left( H,R\right) $ over a field $k$ of characteristic zero, and a strongly separable quantum commutative $H$-module algebra $A$ over which the Drinfeld element of $H$ acts trivially, we show…

We study semi-strict tricategories in which the only weakness is in vertical composition. We construct these as categories enriched in the category of bicategories with strict functors, with respect to the cartesian monoidal structure. As…

The category of Hilbert modules may be interpreted as a naive quantum field theory over a base space. Open subsets of the base space are recovered as idempotent subunits, which form a meet-semilattice in any firm braided monoidal category.…

In this paper we show that weak Hopf (co)quasigroups can be characterized by a Galois-type condition. Taking into account that this notion generalizes the ones of Hopf (co)quasigroup and weak Hopf algebra, we obtain as a consequence the…

A duoidal category is a category equipped with two monoidal structures in which one is (op)lax monoidal with respect to the other. In this paper we introduce duoidal $\infty$-categories which are counterparts of duoidal categories in the…

Following the theory of principal $\infty$-bundles of Niklaus-Schreiber-Steveson, we develop a homotopy categorification of Hopf algebras, which model quantum groups. We study their higher-representation theory in the setting of…

We continue our study of semi-strict tricategories in which the only weakness is in vertical composition. We assemble the doubly-degenerate such tricategories into a 2-category, defining weak functors and transformations. We exhibit a…

We propose a definition of double categories whose composition of 1-cells is weak in both directions. Namely, a doubly weak double category is a double computad -- a structure with 2-cells of all possible double-categorical shapes --…

This is the second part of a series of three strongly related papers in which three equivalent structures are studied: - internal categories in categories of monoids; defined in terms of pullbacks relative to a chosen class of spans -…

We construct Hopf bimodules and Yetter-Drinfeld modules of Hopf algebroids as a generalization of the theory for Hopf algebras. More precisely, we show that the categories of Hopf bimodules and Yetter-Drinfeld modules over a Hopf algebroid…

Skew monoidal categories are monoidal categories with non-invertible `coherence' morphisms. As shown in a previous paper bialgebroids over a ring R can be characterized as the closed skew monoidal structures on the category Mod R in which…

In this work we develop some aspects of the theory of Hopf algebras to the context of autonomous map pseudomonoids. We concentrate in the Hopf modules and the Centre or Drinfel'd double. If $A$ is a map pseudomonoid in a monoidal bicategory…

In general, universal (co)measuring (co)monoids and universal (co)acting bi/Hopf monoids, which prove to be a useful tool in the classification of quantum symmetries, do not always exist. In order to ensure their existence, the support of a…

We define biprops as a generalization of coloured props and of symmetric weak multicategories. These are bicategories whose objects form a free monoid. They are equipped with some structure resembling a symmetric strict tensor product. We…