Groupoid (category theory)

A groupoid is a category for which every morphism has an inverse.