Skew-monoidal categories and bialgebroids

Abstract

Skew-monoidal categories arise when the associator and the left and right units of a monoidal category are, in a specific way, not invertible. We prove that the closed skew-monoidal structures on the category of right R-modules are precisely the right bialgebroids over the ring R. These skew-monoidal structures induce quotient skew-monoidal structures on the category of R-R-bimodules and this leads to the following generalization: Opmonoidal monads on a monoidal category correspond to skew-monoidal structures with the same unit object which are compatible with the ordinary monoidal structure by means of a natural distributive law. Pursuing a Theorem of Day and Street we also discuss monoidal lax comonads to describe the comodule categories of bialgebroids beyond the flat case.

34 pages, typos corrected, references added

References in corpus (2)

• Quantum categories, star autonomy, and quantum groupoids
• Tannaka duality and convolution for duoidal categories

Cited by in corpus (45)

• Monads need not be endofunctors
• Coend calculus
• Skew-enriched categories
• A skew-duoidal Eckmann-Hilton argument and quantum categories
• Triangulations, orientals, and skew monoidal categories
• Skew monoidal categories and skew multicategories
• Formal Metatheory of Second-Order Abstract Syntax
• The formal theory of relative monads
• The Catalan simplicial set II
• The Catalan simplicial set
• Free skew monoidal categories
• A Linear Algebra Approach to Linear Metatheory
• Proof Theory of Partially Normal Skew Monoidal Categories
• Tensor Topology
• A categorical framework for congruence of applicative bisimilarity in higher-order languages
• Proof Theory of Skew Non-Commutative MILL
• Operadic categories and décalage
• Substructural fixed-point theorems and the diagonal argument: theme and variations
• A type theory for cartesian closed bicategories
• Coalgebroids in monoidal bicategories and their comodules
• Coherence for Skew-Monoidal Categories
• Semi-Substructural Logics à la Lambek
• Braided skew monoidal categories
• On the tensor product of modules over skew monoidal actegories
• Hochschild homology, lax codescent, and duplicial structure
• LNL polycategories and doctrines of linear logic
• Semi-Substructural Logics with Additives
• Skew-closed categories
• Skew-monoidal categories and the Catalan simplicial set
• Canonical Gradings of Monads
• The Catalan simplicial set and uniform classification of monoidal-type categories
• A sequent calculus for a semi-associative law
• Skew monoidal monoids
• On monads and warpings
• Deductive Systems and Coherence for Skew Prounital Closed Categories
• On the unicity of formal category theories
• Day algebras
• Exponentiable virtual double categories and presheaves for double categories
• Higher Segal spaces and Lax ${\mathbb{A}}_{\infty }$-algebras
• A note on warpings of monoidal structures
• Semidirect Products of Monoidal Categories
• Some applications of the multiplicative tensor product of matrix factorizations
• Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
• What is a monoid?
• Monads of oplax actions are skew monoidales