retraction (Q6119): Difference between revisions
Jump to navigation
Jump to search
Created a new Item: retraction, left inverse of a morphism |
Created claim: defining formula (P333): g\text{ is left inverse of }f \iff g \circ f= \operatorname{id} |
||
(2 intermediate revisions by the same user not shown) | |||
Property / subclass of | |||
Property / subclass of: morphism / rank | |||
Normal rank | |||
Property / part of | |||
Property / part of: section and retraction / rank | |||
Normal rank | |||
Property / defining formula | |||
g\text{ is left inverse of }f \iff g \circ f= \operatorname{id} | |||
Property / defining formula: / rank | |||
Normal rank |
Latest revision as of 08:16, 31 March 2023
left inverse of a morphism
- left inverse
- left inverse morphism
- cosection
- co-section
Language | Label | Description | Also known as |
---|---|---|---|
English | retraction |
left inverse of a morphism |
|
Statements
0 references