Let C be a category with a null object, 0, and pullbacks. let f:A→B be a ring homomorphism Then f(A)≅kerfA