Monoide: diferenças entre revisões

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]].