monomorphism as kernel of the cokernel

1. Proposition

Let 20240125-monomorphism_as_kernel_of_the_cokernel_3038b4682e1f6d64ae501574b4029ad43f8f615e.svg be an abelian category and

20240125-monomorphism_as_kernel_of_the_cokernel_41702fe443fea5cff645d8005230b384be9252a8.svg

a sequence of a monomorphisms and an epimorphism

TFAE:

  1. 20240125-monomorphism_as_kernel_of_the_cokernel_c426270eea0485aafdca3e4782dcc9ef972e332a.svg is a kernel of 20240125-monomorphism_as_kernel_of_the_cokernel_09db1f6204dfdf86a66f870ca77bad711f5c890f.svg
  2. 20240125-monomorphism_as_kernel_of_the_cokernel_09db1f6204dfdf86a66f870ca77bad711f5c890f.svg is a cokernel of 20240125-monomorphism_as_kernel_of_the_cokernel_c426270eea0485aafdca3e4782dcc9ef972e332a.svg

2. Proof

Date: nil

Author: Anton Zakrewski

Created: 2024-10-20 So 09:16