opmonoidal en · ADJ Meanings (not-comparable) Having a natural family of distributive morphisms and an identity morphism that are coherent.