Hay un funtor de inclusión de Set a Med como magmas triviales, con operaciones: las proyecciones (la derecha, por ejemplo): x T y = y.