A través de muchas de las álgebras, incluyendo aquellos de los conjuntos, grupos, categorías, etc., con frecuencia se observó que la presencia de una identidad de la operación (o falta de ella) es un rasgo importante en la distinción entre las diversas abstracciones; por ejemplo, un monoid es distinto de un semigroup en virtud de tener una identidad operación.
Viniendo de un fondo de programación, sin embargo, estoy teniendo problemas para comprender el significado de una operación trivial; como yo también trabajo con Haskell, que tiene algunas señales de la categoría de teoría e incluye monoid estructuras, nunca me encuentro a mí mismo usando id de las operaciones.
¿Cuáles son los usos y las implicaciones de tener una identidad operación de más de una cierta abstracción?
