categories: A curiosity

You may be amused trying to prove it (it is not easy), but a category in
which every morphism has a unique quasi-inverse (AfE!g fgf=f) is a
groupoid. It is actually a theorem about semigroups, but the proof works
just as well for categories. (You can add an identity without affecting
the hypothesis.)
Michael