retraction

left inverse of a morphism

Categories: