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 K, a magma in [[Category of modules over a commutative ring|π π¬ππ½]] is an R-algebra. tidy | en | SemBr