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.