Every retraction is an epimorphism, and every section is a monomorphism.
Κάθε retraction είναι ένας επιμορφισμός, και κάθε section είναι μονομορφισμός.