opmonoidal

Adjective

 * 1)  Having a natural family of distributive morphisms and an identity morphism that are coherent.