Talk:Partial groupoid
Latest comment: 4 months ago by 2A0D:6FC2:5101:1B00:A53B:DD0E:2F2D:D055 in topic Partial semigroup vs semigroupoid
 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
partial groupoid vs partial magma edit
Before anyone moves this to "partial magma": there are maybe two books that call it that. Partial groupoid is the most common of the synonyms in Google Books (including the other ones listed in the article right now). JMP EAX (talk) 09:29, 26 August 2014 (UTC)
Table of group-like structures edit
The other pages on group-like structures (group (mathematics), semigroup, monoid, groupoid, magma (algebra)) all have the following table:
| Totalityα | Associativity | Identity | Divisibilityβ | Commutativity | |
|---|---|---|---|---|---|
| Partial magma | Unneeded | Unneeded | Unneeded | Unneeded | Unneeded |
| Semigroupoid | Unneeded | Required | Unneeded | Unneeded | Unneeded |
| Small category | Unneeded | Required | Required | Unneeded | Unneeded |
| Groupoid | Unneeded | Required | Required | Required | Unneeded |
| Magma | Required | Unneeded | Unneeded | Unneeded | Unneeded |
| Quasigroup | Required | Unneeded | Unneeded | Required | Unneeded |
| Unital magma | Required | Unneeded | Required | Unneeded | Unneeded |
| Loop | Required | Unneeded | Required | Required | Unneeded |
| Semigroup | Required | Required | Unneeded | Unneeded | Unneeded |
| Associative quasigroup | Required | Required | Unneeded | Required | Unneeded |
| Monoid | Required | Required | Required | Unneeded | Unneeded |
| Commutative monoid | Required | Required | Required | Unneeded | Required |
| Group | Required | Required | Required | Required | Unneeded |
| Abelian group | Required | Required | Required | Required | Required |
| ^α The closure axiom, used by many sources and defined differently, is equivalent. ^β Here, divisibility refers specifically to the quasigroup axioms. | |||||
How can we add "partial groupoid" (or maybe "partial magma") to this table?
Thatsme314 (talk) 16:31, 1 April 2023 (UTC)
- By adding a new row at Template:Group-like structures; done. Thatsme314 (talk) 16:44, 1 April 2023 (UTC)
Partial semigroup vs semigroupoid edit
Not every partial semigroup is a semigroupoid 2A0D:6FC2:5101:1B00:A53B:DD0E:2F2D:D055 (talk) 11:09, 26 December 2023 (UTC)