Uniqueness of Inverses in a Category