Implication Details
Claim: If a category is balanced and is left cancellative and is right cancellative, then it is a groupoid.
Proof: This is trivial.
Claim: If a category is balanced and is left cancellative and is right cancellative, then it is a groupoid.
Proof: This is trivial.