Citation Hunt

The Wikipedia snippet below is not backed by a reliable source. Can you find one?

Click I got this! to go to Wikipedia and fix the snippet, or Next! to see another one. Good luck!

In page Kernel (category theory):

"

Not every morphism needs to have a kernel, but if it does, then all its kernels are isomorphic in a strong sense: if k : KX and  : LX are kernels of f : XY, then there exists a unique isomorphism φ : KL such that ∘φ = k.