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