In mathematics, the category of magmas, denoted Mag, has as objects sets with a binary operation, and morphisms given by homomorphisms of operations (in the universal algebra sense).
The category Mag has direct products, so the concept of a magma object (internal binary operation) makes sense. (As in any category with direct products).
There is an inclusion functor: Set → Med ↪ Mag as trivial magmas, with operations given by projection: x T y = y .
An important property is that an injective endomorphism can be extended to an automorphism of a magma extension, just the colimit of the (constant sequence of the) endomorphism.
Because the singleton ({*}, *) is the zero object of Mag, and because Mag is algebraic, Mag is pointed and complete.
Famous quotes containing the words category of and/or category:
“Despair is typical of those who do not understand the causes of evil, see no way out, and are incapable of struggle. The modern industrial proletariat does not belong to the category of such classes.”
—Vladimir Ilyich Lenin (1870–1924)
“I see no reason for calling my work poetry except that there is no other category in which to put it.”
—Marianne Moore (1887–1972)