Content deleted Content added
→Notation: ref |
|||
Line 312:
====Right inverses====
[[File:Right inverse with surjective function.svg|thumb|Example of '''right inverse''' with non-injective, surjective function]]
A '''right inverse''' for {{mvar|f}} (or ''[[section (category theory)|section]]'' of {{mvar|f}} ) is a function {{math| ''h'': ''Y'' → ''X''}} such that
: <math>f \circ h = \operatorname{id}_Y . </math>
|