Lemma. Sections are monic and retractions are epic [monic-sections-epic-retractions]If is a section and is a retraction then is monic and is epic. Proof. [#](Sections): Since is a section we can find such that . Now given arbitraty with we have that . Then and thus as desired.(Retractions): This proof is left as an exercise to the reader.