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.

Gray (skew) multicategories: double and Gray-categorical cases

Cartesian Gray-Monoidal Double Categories

A model-independent Gray tensor product for $(\infty,2)$-categories

Free skew monoidal categories

A semi-strictly generated closed structure on Gray-Cat

Gray categories with duals and their diagrams

$2$-Categories from a Gray Perspective

Gray tensor products and lax functors of $(\infty,2)$-categories

A Quillen model structure for Gray-categories

Skew-closed categories

The Gray tensor product of $(\infty,n)$-categories

A finite approach to representable multicategories and related structures

Two-sided cartesian fibrations of synthetic -categories

Aspects of the Category SKB of Skew Braces

Premonoidal and Kleisli double categories

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories

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

Products in double categories, revisited

Alternative notion to intercategories: part I. A tricategory of double categories

Generalized multicategories: change-of-base, embedding, and descent

Categorical centers and Yetter--Drinfel`d-modules as 2-categorical (bi)lax structures