monoid in a premonoidal category

Last updated Dec 2, 2024

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

Back: monoid, premonoidal category.