Pointwise-monic unit-and-counit criterion

ID: pointwise-monic-unit-and-counit-criterion

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.

New to topics? Read the docs here!