Internalization Magma object Let 𝟙 be a monoidal category. A magma in consists of the data cat where is called multiplication. Examples A magma in Category of vector spaces is a K-algebra. More generally for commutative , a magma in [[Category of modules over a commutative ring|]] is an R-algebra. tidy | en | sembr