Definition:Magma/Also known as

From ProofWiki
Jump to navigation Jump to search

Magma: Also known as

The word magma is a recently-coined term, and as such has not yet filtered into the mainstream literature.

Thus a magma is frequently referred to by description, as a closed algebraic structure.

Another older term for this concept is groupoid (or gruppoid). This word was first coined by Øystein Ore.

The term groupoid is often used for a completely different concept in category theory.

The word groupoid arises as a back-formation from group in the same way as humanoid derives from human.

The word gruppoid (rarely found in English) is the German term (from the German gruppe for group).

Some sources use the term monoid, in particular when its operation is commutative, but this is not endorsed on $\mathsf{Pr} \infty \mathsf{fWiki}$, as monoid is used for something else.