monoid in a premonoidal category

• An alternative notion is a monoid action on the runtime.

Back: monoid, premonoidal category.