On implicit operations and balanced categories
The problem of determining whether a category is balanced (i.e., every morphism that is both an epimorphism and a monomorphism is an isomorphism) has been widely investigated, especially in algebra. For complete categories with an extremal projective generator, we characterise the property of being balanced, and the st...