Groupoid

A category C 𝐶 C is a groupoid if every map is invertible.