Definition. Groupoid [0065]

A groupoid is a category in which every morphism is an isomorphism.