retraction (Q6119): Difference between revisions

Latest revision as of 08:16, 31 March 2023

left inverse of a morphism

Language	Label	Description	Also known as
English	retraction	left inverse of a morphism	left inverse left inverse morphism cosection co-section

0 references

0 references

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

0 references

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