section (Q6117): Difference between revisions

Latest revision as of 08:17, 31 March 2023

right inverse of a morphism

Language	Label	Description	Also known as
English	section	right inverse of a morphism	coretraction right inverse co-retraction right inverse morphism

0 references

0 references

g{\text{ is right inverse of }}f\iff f\circ g=\operatorname {id}

0 references

Revision as of 08:17, 31 March 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,454 edits ‎Created claim: part of (P7): section and retraction (Q6118) ← Older edit	Latest revision as of 08:17, 31 March 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,454 edits ‎Created claim: defining formula (P333): g\text{ is right inverse of }f \iff f \circ g= \operatorname{id}
	Property / defining formula
		$g{\text{ is right inverse of }}f\iff f\circ g=\operatorname {id}$ `g\text{ is right inverse of }f \iff f \circ g= \operatorname{id}`
	Property / defining formula: $g{\text{ is right inverse of }}f\iff f\circ g=\operatorname {id}$ / rank
		Normal rank