En matemática, la categoría de magmas (ver categoría, magma para definiciones), notada Mag, tiene por objetos conjuntos con una operación binaria, y morfismos dados por homomorfismos de las operaciones (en el sentido del álgebra universal).