A groupoid is a category such that all morphisms are isomorphisms.
In a groupoid, isomorphisms are equivalent to morphisms.