Monoide: diferenças entre revisões

1 byte removido ,  6 de maio de 2007
sem resumo de edição
(+int)
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 comummentecomumente 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 ==
7

edições