Kernels Are Monomorphisms and Cokernels Are Epimorphisms