Natural isomorphism
Collection
| context | $F,G$ in ${\bf C}\longrightarrow{\bf D}$ |
| definiendum | $\eta$ in $F\cong G$ |
| inclusion | $\eta$ in $F\xrightarrow{\bullet}G$ |
| for all | $A:\mathrm{Ob}_{\bf C}$ |
| postulate | $\eta_A$ … isomorphsim |
Discussion
Reference
Wikipedia: Natural transformation
Parents
Context
Requirements
