groupoid
category where every morphism is invertible; generalization of a group
covering groups of the alternating and symmetric groups
type of a group
Mathieu groupoid
groupoid, acting on a set of 13 elements, such that the stabilizer of every point is the Mathieu group M₁₂
group
algebraic set with an invertible, associative internal operation admitting a neutral element