Implication Details
Claim: If a category is balanced and is coregular, then it is mono-regular.
Proof: This follows from the dual implication.
Claim: If a category is balanced and is coregular, then it is mono-regular.
Proof: This follows from the dual implication.