Example [efr-LTJQ]

Let \mathsf {MonCat}_s be the 2-category of monoidal categories, strict monoidal functors and monoidal natural transformations. Note that this has pullbacks. Then the objects of \mathsf {PsCat}(\mathsf {MonCat}) are a stricter version of monoidal pseudo double categories: they are pseudo double categories C_1,C_0 where both C_1,C_0 carry a monoidal structure so that d,c,e,m are strict monoidal functors and \rho ,\lambda ,\alpha are monoidal natural transformations.