[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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.)