  We generalize to double categories the recently introduced notion of
premonoidal bicategories of Paquet and Saville. We investigate the relation of
a premonoidal double category to quasi-functors of two variables and show that
a double category possesses a 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, using
our recent Bifunctor Theorem for double functors, 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 is monoidal.
  Exploiting the lifting properties of vertical structures in a double category
into their horizontal counterparts, under the assumption of the existence of
certain companions, 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 pseudomonoidal
vertical double monad on a monoidal double category, and also a horizontal
strength on a monoidal horizontal double monad on a 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 the monoidal double category on the corresponding
horizontal Kleisli double category of the induced horizontal double monad.
Morever, we prove that for a bistrong pseudomonoidal vertical double monad the
mentioned Kleisli double category is premonoidal. The latter two results
recover bicategorical results of Paquet and Saville, at the same time providing
simpler proofs, thanks to the double categorical approach.
