Tags: lax monoidal category, lax monoid, monoidal bicategory of categories. References nLab - https://ncatlab.org/nlab/show/lax+monoidal+category