 Balanced category

A category is balanced when every morphism that is both a monomorphism and an epimorphism is an isomorphism. A faithful functor whose domain is balanced reflects isomorphisms.