Definitions

1. noun

A groupoid is a generalization of the concept of a group, but without the requirement of the existence of an inverse for every element.

“In category theory, the concept of a groupoid is used to model symmetries in various mathematical structures.”