Let be a category with a null object, , and pullbacks.
let be a ring homomorphism