Přirozená transformace: Porovnání verzí

'''Přirozená transformace''' <math>\eta</math> z [[funktor]]u <math>F:C \rightarrow D</math> do <math>G:C \rightarrow D</math> je v [[teorie kategorií|teorii kategorií]] soubor [[morfismus|morfismů]]

<math>\eta_X:F(X) \rightarrow G(X)</math> takový, že pro každý [[morfismus]] <math>f:X \rightarrow Y</math>