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).