En matemáticas , un objeto de magma , se puede definir en cualquier categoría. equipado con un distinguido bifunctor . Dado que Mag, la categoría de magmas , tiene productos cartesianos , podemos considerar los objetos de magma en la categoría Mag . Estos se denominan objetos de magma automático. Hay una definición más directa: un objeto de magma automático es un conjunto junto con un par de operaciones binarias satisfactorio para todos en . Un magma medial es el caso especial donde estas operaciones son iguales.