I want to generalize this to categories so that I have normal subobjects (or kernels) preserved  under  images. 

Similar questions and discussions