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 K, a magma in K𝖬𝗈𝖽 is an K-algebra.

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