Category of Medial Magmas

In mathematics, the medial category Med, that is, the category of medial magmas has as objects sets with a medial binary operation, and morphisms given by homomorphisms of operations (in the universal algebra sense).

The category Med has direct products, so the concept of a medial magma object (internal binary operation) makes sense. As a result, Med has all its objects as medial objects, and this characterizes it.

There is an inclusion functor from Set to Med as trivial magmas, with operations being the right projections

(x, y) → y.

An injective endomorphism can be extended to an automorphism of a magma extension — the colimit of the constant sequence of the endomorphism.

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)

    The truth is, no matter how trying they become, babies two and under don’t have the ability to make moral choices, so they can’t be “bad.” That category only exists in the adult mind.
    Anne Cassidy (20th century)