自然變換
natural transformation
函手$ F:{\bf C}\to{\bf D}から$ G:{\bf C}\to{\bf D}への自然變換$ \eta:F\Rarr Gとは、以下の可換圖式を滿たす圈$ \bf Dの射の集まり$ \{\eta_X,\eta_Y,…|\forall X,Y_{\in|{\bf C}|}\}である $ F(X)\xrightarrow{\eta_X}G(X)\xrightarrow{G(f)}G(Y).
$ F(X)\xrightarrow{F(f)}F(Y)\xrightarrow{\eta_Y}G(Y).