Neka su dva funktora s međusobno istom domenom i kodomenom (u tom slučaju kažemo također paralelni par funktora).
Prirodna transformacija je porodica morfizama u , indeksiranih objektima u koja zadovoljava uvjet prirodnosti: za svaki morfizam u kategoriji dijagram
komutira, tj. .
Morfizam se zove -komponenta (ili komponenta u ) (prirodne) transformacije . Svaka prirodna transformacija je po definiciji određena svojim komponentama.
To se lako poopćuje na slučaj više argumenata (biprirodne transformacije bifunktora itd.).
Vidi također natural transformation i wikipedia:Natural_transformation.
Last revised on December 10, 2009 at 17:56:23. See the history of this page for a list of all contributions to it.