section (Q6117): Difference between revisions
Jump to navigation
Jump to search
Created a new Item: section, right inverse of a morphism |
Created claim: defining formula (P333): g\text{ is right inverse of }f \iff f \circ g= \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 right inverse of }f \iff f \circ g= \operatorname{id} | |||
| Property / defining formula: / rank | |||
Normal rank | |||
Latest revision as of 08:17, 31 March 2023
right inverse of a morphism
- coretraction
- right inverse
- co-retraction
- right inverse morphism
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | section |
right inverse of a morphism |
|
Statements
0 references