En er en transformasjon som tar en funktor til en annen på en måte som respekterer funktorstrukturen. Naturlige transformasjoner kan dermed sees på som funksjoner mellom funktorer, og dette kan formaliseres gjennom funktorkategorier.