Suppose is balanced and every morphism of factors as a strong epimorphism followed by a monomorphism. For , both unit and counit are pointwise monic exactly when is full and faithful and its essential image is closed under strong quotients.
Let and let be the terminal category. The unique functor is left adjoint to the functor selecting . Every arrow in a poset is monic, so the unit and counit are pointwise monic, but is not full because the unique arrow has no preimage . The category is not balanced.

Articles by others on the same topic (0)

There are currently no matching articles.