Definition:Retract
Jump to navigation
Jump to search
Definition
Let $\mathbf C$ be a metacategory.
Let $f: C \to D$ be a morphism.
Let $g: D \to C$ be a retraction of $f$.
Then $D$ is said to be a retract of $C$.
Also see
Sources
- 2010: Steve Awodey: Category Theory (2nd ed.) ... (previous) ... (next): $\S 2.1.1$: Definition $2.7$