Jump to content

Talk:Partial groupoid

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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)[reply]

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:

Group-like structures
Total Associative Identity Cancellation Commutative
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
Commutative Groupoid Unneeded Required Required Required Required
Magma Required Unneeded Unneeded Unneeded Unneeded
Commutative magma Required Unneeded Unneeded Unneeded Required
Quasigroup Required Unneeded Unneeded Required Unneeded
Commutative quasigroup Required Unneeded Unneeded Required Required
Unital magma Required Unneeded Required Unneeded Unneeded
Commutative unital magma Required Unneeded Required Unneeded Required
Loop Required Unneeded Required Required Unneeded
Commutative loop Required Unneeded Required Required Required
Semigroup Required Required Unneeded Unneeded Unneeded
Commutative semigroup Required Required Unneeded Unneeded Required
Associative quasigroup Required Required Unneeded Required Unneeded
Commutative-and-associative quasigroup Required Required Unneeded Required Required
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

How can we add "partial groupoid" (or maybe "partial magma") to this table?

Thatsme314 (talk) 16:31, 1 April 2023 (UTC)[reply]

By adding a new row at Template:Group-like structures; done. Thatsme314 (talk) 16:44, 1 April 2023 (UTC)[reply]

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)[reply]