different between groupoid vs gyrogroup

English

group +? -oid

groupoid (plural groupoids)

(algebra) A magma: a set with a total binary operation.
(algebra and category theory) A set with a partial binary operation that is associative and has inverses and identities.
A groupoid is a category in which every morphism has an inverse.

gyro- +? group

gyrogroup (plural gyrogroups)

(mathematics) A groupoid whose binary operation satisfies certain axioms, used with gyrovectors.

Send