Category of magmas

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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)[clarification needed] makes sense. (As in any category with direct products).

There is an inclusion functor: SetMed ↪ 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,[citation needed] and because Mag is algebraic, Mag is pointed and complete.[1]

References[edit]

  1. ^ Borceux, Francis; Bourn, Dominique (2004). Mal'cev, protomodular, homological and semi-abelian categories. Springer. pp. 7,19. ISBN 1-4020-1961-0.