Transformação natural (teoria das categorias)
morfismo entre dois funtores com mesmo domínio e codomínio / De Wikipedia, a enciclopédia encyclopedia
Na matemática, mais precisamente teoria das categorias, uma transformação natural entre functores paralelos é uma coleção de morfismos satisfazendo certas condições. O conceito pode ser usado para dar um significado rigoroso a expressões como "natural" e "canônico".[1]