Image of a morphism in a regular category
ID: image-of-a-morphism-in-a-regular-category
In a regular category, the image of is the monomorphism in its essentially unique factorizationas a regular epimorphism followed by a monomorphism. Images are stable under pullback.
New to topics? Read the docs here!