kernel and pullback

Let be a pointed category,

a pullback

Then this induces an isomorphism on kernels

corollary of:

• pullback and fibres