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