Groupoid
= Groupoid
A groupoid is a <category> in which every <morphism> is invertible. A group is a groupoid with one object, while an <equivalence relation> defines a groupoid with exactly one arrow between any related pair of objects. Every <functor> sends invertible arrows to invertible arrows.