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!