Abstract:We give a double categorical version of the recently introduced notion of premonoidal bicategories of Paquet and Saville. We investigate the relation of a premonoidal double category to pseudodouble quasi-functors of two variables and show that a double category possesses a pseudodouble quasi-functor if and only if it is binoidal and purely central. We introduce the notion of cubical double functors of three and more variables and their vertical transformations. We use them to show that a double category $\Dd$ has a premonoidal structure induced by a quasi-functor if and only if $\Dd$ is monoidal. This is further equivalent to $\Dd$ being premonoidal and purely central, in which case the pure center double category $\Zz_p(\Dd)$ is monoidal. Exploiting the lifting properties of vertical structures in a double category into their horizontal counterparts, if certain companions exist, we prove a series of further results. We use the notions of double monads and the Kleisli double category of Gambino, Garner and Vasilakopoulou. We firstly introduce a vertical strength on a vertical double monad on a monoidal double category, and also a horizontal strength on a horizontal double monad on a (horizontally) monoidal double category. We prove that vertical strengths on vertical double monads induce horizontal strengths on the induced horizontal double monads. We show that vertical strengths induce actions of a monoidal double category on the corresponding horizontal Kleisli double category of the induced horizontal double monad. Morever, we prove that for a bistrong vertical double monad the mentioned Kleisli double category is premonoidal. The latter two results are double categorical analogues of the corresponding bicategorical results of Paquet and Saville. Thanks to the double categorical approach they count with much simpler proofs.

Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences

A monadicity theorem for higher algebraic structures

Eilenberg-Moore Bicategories for Opmonoidal Pseudomonads

Monoidal model structures on filtered chain complexes relating to spectral sequences

Koszul Monoids in Quasi-abelian Categories

Derived Braids of Decreasing Products and their Categories

Interacting Monoidal Structures with Applications in Computing

Koszul duality for monoids and the operad of enriched rooted trees

Premonoidal and Kleisli double categories

Brackets and products from centres in extension categories

String diagrams for symmetric powers I: In symmetric monoidal $\mathbb{Q}_{\ge 0}$-linear categories

Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation

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

Dwyer--Kan homotopy theory for cyclic operads

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams

A monoidal Dold-Kan correspondence for comodules

Monoidal algebraic model structures

On semidirect products of quantale enriched monoids

Discrete equational theories

Extended Stone Duality via Monoidal Adjunctions

Involutive categories, colored $\ast$-operads and quantum field theory