Discusión:Monoide

De Wikipedia, la enciclopedia libre
Ir a la navegación Ir a la búsqueda

Los ejemplos del final no son correctos. Pues para que una categoria sea un monoide segun esta definición, es necesario que los objetos de la categoría formen un conjunto. La categoría de conjuntos no cumple con esta propiedad por ejemplo. — El comentario anterior fue realizado desde la IP 70.26.246.168 (discusiónbloq) . Farisori » 13:56 2 abr 2012 (UTC)

Los dos ejemplos son correctos, y precisamente, se suelen usar estos mismos como ejemplos de categoría monoidal. En la categoría de conjuntos (Set), los objetos son precisamente los conjuntos y los morfismos son funciones. --RHC (discusión) 23:51 2 abr 2012 (UTC)

Otro significado[editar]

Se llama monoide a todo par ( S, º) conformado por un conjunto S, no vacío y una ley de composición º. Se dice también que º define sobre S una estructura de monoide.

Por ejemplo, si S denota cualquiera de los conjuntos de números ℕ, ℤ, ℚ, ℝ, ℂ y º, la adición ordinaria entre dos elementos de cualquiera de dichos conjuntos, se consiguen los siguientes monoides
(ℕ, +), (ℤ, +), (ℚ, +), (ℝ, +), (ℂ,+) [1]
  1. Estructuras algebraicas (1973) Gentile, Enzo R. Publicación de OEA, Universidad Nacional de Buenos Aires, pág.9

--Barymar (discusión) 20:07 30 abr 2013 (UTC)

Enlaces rotos[editar]

Elvisor (discusión) 20:56 16 nov 2015 (UTC)