Nótese que toda sección debe ser un monomorfismo y que toda retracción debe ser un epimorfismo.