balanced category

In a balanced category, proving that a map is an isomorphism often reduces to checking that it is both a monomorphism and an epimorphism.