Skew monoidales, skew warpings and quantum categories

Abstract

Kornel Szlachányi recently used the term skew-monoidal category for a particular laxified version of monoidal category. He showed that bialgebroids $H$ with base ring $R$ could be characterized in terms of skew-monoidal structures on the category of one-sided $R$-modules for which the lax unit was $R$ itself. We define skew monoidales (or skew pseudo-monoids) in any monoidal bicategory $\mathcal{M}$. These are skew-monoidal categories when $\mathcal{M}$ is $\mathrm{Cat}$. Our main results are presented at the level of monoidal bicategories. However, a consequence is that quantum categories in the sense of Day-Street with base comonoid $C$ in a suitably complete braided monoidal category $\mathcal{V}$ are precisely skew monoidales in $\mathrm{Comod}(\mathcal{V})$ with unit coming from the counit of $C$. Quantum groupoids are those skew monoidales with invertible associativity constraint. In fact, we provide some very general results connecting opmonoidal monads and skew monoidales. We use a lax version of the concept of warping defined recently by Booker-Street to modify monoidal structures.

Minor changes and some renumbering in this version

References in corpus (1)

• Tannaka duality and convolution for duoidal categories

Cited by in corpus (16)

• Monads need not be endofunctors
• Skew-enriched categories
• A skew-duoidal Eckmann-Hilton argument and quantum categories
• Triangulations, orientals, and skew monoidal categories
• Skew monoidal categories and skew multicategories
• Proof Theory of Partially Normal Skew Monoidal Categories
• Multiplier bialgebras in braided monoidal categories
• Skew-monoidal reflection and lifting theorems
• A type theory for cartesian closed bicategories
• Braided skew monoidal categories
• Hochschild homology, lax codescent, and duplicial structure
• Skew-monoidal categories and the Catalan simplicial set
• On monads and warpings
• Skew Monoidales in $Span$
• Semidirect Products of Monoidal Categories
• A note on warpings of monoidal structures