I'm reading "A survey of Semi-abelian Categories" of F. Borceux and I'm struggling with a proof for hours now. I do not think specific skills in semi-abelian categories are required to help me here, just basic skills on pullbacks.
The part I do not understand is "When the right hand square is a pullback, so is the left hand square". I can not prove it ... In another reference they use a metatheorem by just proving it in $\mathbf{Set}$ but I want to write it only with morphisms, in a categorical way. Can someone help me on this one ?
$\require{AMScd}$ In the following diagram, both squares are pullback by assumption, hence, by pullback pasting theorem, the outer rectangle is a pullback as well: \begin{CD} K[f']@>p'_i>>A'@>\beta>> A\\ @Vp'_iVV @VVf'V @VVfV\\ A'@>>f'>X'@>>\alpha>X \end{CD} In the following diagram, the outer rectangle (which is the same as before) and the rigth-hand square are pullbacks, hence, by pullback pasting theorem, the left-hended square is a pullback as well. \begin{CD} K[f']@>\gamma>>K[f]@>p_i>> A\\ @Vp'_iVV @VVp_iV @VVfV\\ A'@>>\beta>A@>>f>X \end{CD}