The opmonoidal functor between the two monoidal categories comes equipped with a coherent family of distributive morphisms and a compatible identity morphism.