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