Balanced category
= Balanced category
{wiki}
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.
= Balanced category
{wiki}
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.