Groupoid
A groupoid is the Oidification of a group.
Thus a groupoid is a category in which all morphisms are isomorphisms. cat
As such, it is a category augmented with an operation on morphisms
A groupoid is the Oidification of a group.
Thus a groupoid is a category in which all morphisms are isomorphisms. cat
As such, it is a category augmented with an operation on morphisms