Abstract:Quantum categories have been recently studied because of their relation to bialgebroids, small categories, and skew monoidales. This is the first of a series of papers based on the author's PhD thesis in which we examine the theory of quantum categories developed by Day, Lack, and Street. A quantum category is an opmonoidal monad on the monoidale associated to a biduality $R\dashv R^{\circ}$, or enveloping monoidale, in a monoidal bicategory of modules $\mathsf{Mod}(\mathcal{V})$ for a monoidal category $\mathcal{V}$. Lack and Street proved that quantum categories are in equivalence with right skew monoidales whose unit has a right adjoint in $\mathsf{Mod}(\mathcal{V})$. Our first important result is similar to that of Lack and Street. It is a characterisation of opmonoidal \emph{arrows} on enveloping monoidales in terms of a new structure named \emph{oplax action}. We then provide three different notions of comodule for an opmonoidal arrow, and using a similar technique we prove that they are equivalent. Finally, when the opmonoidal arrow is an opmonoidal monad, we are able to provide the category of comodules for a quantum category with a monoidal structure such that the forgetful functor is monoidal.

Monoidal Bousfield Localizations and Algebras over Operads: A User's Guide

Encyclopedia of types of algebras 2010

Coalgebroids in monoidal bicategories and their comodules

Enveloping operads and applications

Monoidal categories in, and linking, geometry and algebra

Local Modules in Braided Monoidal 2-Categories

Bivariant operadic categories

A braided monoidal $(\infty,2)$-category of Soergel bimodules

Interacting Monoidal Structures with Applications in Computing

(Co)module algebras and their generalizations

Homotopical and Higher Categorical Structures in Algebraic Geometry

Monoidal supercategories

Special multiserial algebras, Brauer configuration algebras and more : a survey

Frobenius Monoidal Functors of Dijkgraaf-Witten Categories and Rigid Frobenius Algebras

Relative Monoidal Bondal-Orlov

Unital operads, monoids, monads, and bar constructions

Nil graded algebras associated to triangular matrices and their applications to Soergel Calculus

On Tautological Globular Operads

An introduction to monomorphism categories

Grothendieck-Verdier module categories, Frobenius algebras and relative Serre functors

Monoidal bicategories, differential linear logic, and analytic functors