Adjective
opmonoidal (not comparable) (mathematics) Having a natural family of distributive morphisms and an identity morphism that are coherent.