Monoide: diferenças entre revisões

1 byte adicionado ,  7 de maio de 2007
Desfeita a edição 5973138 de Brgsousa (discussão | contribs)
(Desfeita a edição 5973138 de Brgsousa (discussão | contribs))
Em [[álgebra abstrata]], um '''monóide''' é uma [[estrutura algébrica]] com uma única, associativa e binária operação, e um elemento identidade. Monóides ocorrem em alguns ramos da Matemática. Em [[geometria]], um monóide captura a idéia de composição de função. Essa noção é abstraída da [[teoria das categorias]], no qual o monóide é uma [[categoria]] com um objeto. Os monóides são usados comumentecomummente para fornecer fundações algébricas à [[ciência da computação]]. Nesse caso, alguns tipos de monóides são usados para descrever uma [[máquina de estado finito]].
 
== Definição formal ==
6 902

edições