Groupoid
A groupoid is a category in which all morphisms are isomorphisms. #m/def/cat Informally a groupoid is the oidification of a group, or the categorification of an equivalence relation.
See also
#state/develop | #SemBr | #lang/en
A groupoid is a category in which all morphisms are isomorphisms. #m/def/cat Informally a groupoid is the oidification of a group, or the categorification of an equivalence relation.
#state/develop | #SemBr | #lang/en