Category of medial magmas
This article does not cite any sources. (March 2009) (Learn how and when to remove this template message)
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.
- (x, y) → y.