Types of Category

Groupoid

A groupoid is the Oidification of a group. Thus a groupoid is a category in which all morphisms are isomorphisms. #m/def/cat As such, it is a category augmented with an operation on morphisms (often written as ) such that

#state/develop | #SemBr | #lang/en