Naturlig transformation
Inom matematik, närmare bestämt kategoriteori, är en naturlig transformation något som avbildar en funktor på en annan funktor, på ett sådant sätt att strukturen hos de inblandade kategorierna bevaras. Med andra ord kan man se en naturlig transformation som en "morfism mellan funktorer".
Definition
Låt och vara kovarianta funktorer mellan kategorierna och . En naturlig transformation från till är en funktion som till varje objekt tilldelar en -morfism sådan att för varje morfism i gäller det att . Detta kan också skrivas med hjälp av ett kommutativt diagram som:
![Diagrammatisk definition av naturlig transformation](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Natural_transformation.svg/125px-Natural_transformation.svg.png)
Definitionen kan också dualiseras: om och istället är kontravarianta funktorer så är en naturlig transformation motsvarande kommutativa diagram där de horisontella pilarna pekar i motsatt riktning.
Exempel
Ett typiskt exempel på en naturlig transformation kommer från linjär algebra: Låt A = B = Vec K vara kategorin av (ändligtdimensionella) vektorrum över en kropp K. Om F nu är identitetsfunktorn på Vec K och G är funktorn som avbildar varje vektorrum V på sin bidual V**, så finns det en naturlig transformation som till varje objekt i A, alltså till varje vektorrum V, tilldelar avbildningen , där T V definieras av . Inom linjär algebra säger man vanligen att det finns naturlig isomorfism mellan V och V**. Detta innebär precis att T är en naturlig transformation från identitetsfunktorn F till "dubbeldualfunktorn" G.