This is an old revision of the document!
Natural isomorphism
Collection
| context | $F,G$ in ${\bf C}\longrightarrow{\bf D}$ |
| definiendum | $\eta$ in $F\cong G$ |
| inclusion | $\eta$ in nat$(F,G)$ |
| for all | $A:\mathrm{Ob}_{\bf C}$ |
| postulate | $\eta_A$ … isomorphsim |
Discussion
Reference
Wikipedia: Natural transformation
Parents
Context
Requirements
