Groupoid

A groupoid generalizes the notion of a group to a category in which there is an operation ${\_}^{-1}:(A\to B)\to (B\to A)$ which provides an inverse of each arrows in such a way that $f\circ f^{-1}=id$, $f^{-1}\circ f=id$.