Monoide
De Wikipedia, la enciclopedia libre
Un monoide es un magma (i.e. un par (M,*), donde M es un conjunto, y * una operación binaria) que cumple:
- Es cerrada en M, esto es, el resultado de a*b pertenece a M para cualesquiera a y b de M.
- Existe una 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 unidad. Un monoide abeliano es un monoide conmutativo.
[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
[editar] Véase también
- TQFT
- Álgebra de Frobenius
- Cobordismo
