Grupoide (teoria das categorias)

Origem: Wikipédia, a enciclopédia livre.
Saltar para a navegação Saltar para a pesquisa

Um grupóide é um conjunto G dotado de uma operação binária, para a qual vale a propriedade do fechamento: o elemento resultante da composição de a e b pertencentes a G é um elemento de G.