Monoidal internalization

Magma object

Let be a monoidal category. A magma in consists of the data #m/def/cat

where is called multiplication.

Examples

• A magma in is a -algebra.
• More generally for commutative , a magma in is an -algebra.

#state/tidy | #lang/en | #SemBr