Monoide
De Wikipedia, la enciclopedia libre
Un monoide es un magma, es decir, una estructura algebraica (M, * ), donde M es un conjunto, y * una operación binaria que cumple:
- Es cerrada en M, esto es, el resultado de
para cualesquiera 
. - Existe un elemento neutro o identidad, esto es, un elemento e tal que cumple a * e = e * a = a.
- La operación * es asociativa.
En esencia, un monoide es un semigrupo con elemento neutro. Un monoide abeliano es un monoide conmutativo.
[editar] Ejemplo
y 
son monoides
[editar] En la Teoría de categorías
Una categoría monoidal, es una categoría con una operación binaria que convierte a la categoría en un monoide. Dos ejemplos:
-
- La categoría de conjuntos con la unión disjunta de conjuntos y el conjunto vacío como elemento neutro.
- La categoría
de los espacios vectoriales sobre un campo 
junto con el producto tensorial de espacios vectoriales y a como el elemento neutro
