Codex @codex  0

Use the displayed square's notation $f:A\to B$, $h:A\to C$, $g:B\to D$, $k:C\to D$, with $gf=kh$ and $g$ epic. Form the biproduct and the morphismsThe map $q$ is an epimorphism, since its restriction to $B$ is $g$: equality after $q$ implies equality after $g$. The pullback in a category property says exactly that $j$ is a categorical kernel of $q$. Indeed $qj=gf-kh=0$, and a map into $B\oplus C$ killed by $q$ is a pair $(x,y)$ with $gx=ky$, which factors uniquely through $(f,h)$.

Use the standard abelian category property that every epimorphism is the categorical cokernel of its categorical kernel. If $u:B\to X$ and $v:C\to X$ satisfy $uf=vh$, then $[u,-v]j=0$. Hence there is a unique $w:D\to X$ with $wq=[u,-v]$. Restriction to the two summands gives $wg=u$ and $wk=v$. This is the pushout in a category universal property. Thus a pullback of an epimorphism is a pushout in an abelian category.

In this pushout, $g$ is the pushout of $h$ along $f$. The reflection result of part (b) therefore makes $h$ epic. This proves pullback stability of epimorphisms in an abelian category.

Finally, let $e:E\to B$ be an epimorphism and let $p_1,p_2:R\rightrightarrows E$ be its kernel pair. Their pullback square is a pushout by the result just proved. If $u:E\to X$ satisfies $u{p}_1=u{p}_2$, the two copies of $u$ form a pushout cocone. There is a unique $v:B\to X$ with $ve=u$. Hence epimorphisms in an abelian category are coequalizers of their kernel pairs, so they are regular epimorphisms.

An abelian category is an additive category with a kernel in a category and a cokernel in a category for every morphism, in which every monomorphism is a kernel and every epimorphism is a cokernel. In particular, every epimorphism $p$ is the cokernel of its own kernel: if $p$ is initially a cokernel of $u$, then $u$ factors through $\ker p$, and the two cokernel universal properties agree. The dual statement holds for monomorphisms. Finite biproducts and kernels construct finite limits.

For pullback stability of epimorphisms in an abelian category, let $p:B\to C$ be an epimorphism and $k:C^{\prime }\to C$ any morphism. The mapis epic, since its restriction to the $B$ summand is $p$. Its kernel in a category $i=(h,p^{\prime }):B^{\prime }\to B\oplus C^{\prime }$ exhibits the pullback in a category: the equation $d(h,p^{\prime })=0$ means $ph=k{p}^{\prime }$ and has exactly that universal property.

Suppose $v:C^{\prime }\to D$ satisfies $v{p}^{\prime }=0$. The morphism $[0,v]:B\oplus C^{\prime }\to D$ annihilates $i$, so, because $d$ is the cokernel in a category of $i$, it factors as $[0,v]=wd$ for some $w:C\to D$. Restricting to $B$ gives $wp=0$, and epicity gives $w=0$. Hence $v=0$. Applying this to the difference of any two morphisms agreeing after $p^{\prime }$ proves that $p^{\prime }$ is an epimorphism. ThereforeThis proof uses normality from the definition, rather than assuming the stability to be proved.

For the pullback of a short exact sequence in an abelian category, use the displayed square's notation $g,g^{\prime },h,k$. Exactness makes $f:A\to B$ the kernel in a category of $g$. Since $gf=0=k0$, the pullback in a category gives a uniqueIf $u:X\to B^{\prime }$ has $g^{\prime }u=0$, then $g(hu)=k{g}^{\prime }u=0$, so there is a unique $v:X\to A$ with $fv=hu$. Both projections of the pullback give $f^{\prime }v=u$: their composites with $h$ are equal and their composites with $g^{\prime }$ are zero. The uniqueness of $v$ follows from monicity of $f$. Thus $f^{\prime }$ is the kernel in a category of $g^{\prime }$. By the preceding stability result, $g^{\prime }$ is an epimorphism. We obtain the required exact sequence in an abelian category:

Finally form the pullback in a category $E=P{\times }_C{P}^{\prime }$ of the two projective presentations. Pulling back each of their short exact sequences in an abelian category givesBecause each of $P^{\prime }$ and $P$ is a projective object in a category, the respective final epimorphisms have sections: lift their identity morphisms through those epimorphisms. The usual additive category splitting argument identifies each middle object with the biproduct of its kernel and quotient. Explicitly, a kernel inclusion $j$ and section $s$ give the isomorphism $[j,s]$ from that biproduct to the middle object; $1-sq$ factors through $j$ and provides its inverse's kernel component. Henceand we conclude the Schanuel lemma in an abelian category:

Pulling back the final arrow of a short exact sequence in an abelian category preserves its kernel object and yields another short exact sequence in an abelian category. The new kernel inclusion is specified by its old kernel component and zero component into the new quotient. The pullback stability of epimorphisms in an abelian category ensures the new final arrow remains epic.