En matemáticas, la categoría de magmas mediales (véase categoría, magma, medial, objeto (auto) magma para las definiciones), denotado por Med, tiene como objetos conjuntos con una operación binaria medial, y los morfismos dados por los homomorfismos de operaciones (en el sentido del álgebra universal).