title: Trasformazione naturale
text: # Trasformazione naturale
  
  In teoria delle categorie una trasformazione naturale è una freccia tra funtori "paralleli".
  
  che rende possibile definire la categoria ${\mathcal {B}}^{\mathcal {A}}$ di tutti i funtori
  
  $F:{\mathcal {A}}\longrightarrow {\mathcal {B}}$
  
  tra due categorie ${\mathcal {A}},{\mathcal {B}}$ assegnate.
  
  ## Definizione
  
  Siano
  
  $F:{\mathcal {A}}\longrightarrow {\mathcal {B}}$
  
  $G:{\mathcal {A}}\longrightarrow {\mathcal {B}}$
  
  due funtori tra le categorie ${\mathcal {A}}$ e ${\mathcal {B}}$.
  
  Una trasformazione naturale $\alpha :F\Longrightarrow G$ è una collezione
  
  $\{\alpha _{X}:FX\longrightarrow GX\}_{X\in {\mathcal {A}}_{0}}$
  
  di frecce di ${\mathcal {B}}$ indicizzate dagli oggetti di ${\mathcal {A}}$ e tale che il seguente diagramma commuta per ogni freccia $f:X\longrightarrow Y$ di ${\mathcal {A}}$:
  
  cioè $\ Gf\cdot \alpha _{X}=\alpha _{Y}\cdot Ff$.
  
  ## Composizione orizzontale
  
  Siano date le trasformazioni naturali
  
  $\alpha :F\Longrightarrow G$
  
  $\beta :H\Longrightarrow K$
  
  ove $\ F,G$ sono funtori tra due categorie ${\mathcal {A}},{\mathcal {B}}$, mentre $\ H,K$ sono funtori tra due categorie ${\mathcal {B}},{\mathcal {C}}$.
  
  Se ne può definire la composizione orizzontale
  
  come quella trasformazione naturale $\gamma =\beta \circ \alpha$ le cui frecce, nella categoria ${\mathcal {C}}$, siano definite in uno dei due modi equivalenti:
  
  $\gamma _{X}=\beta _{GX}\cdot H\alpha _{X}$,
  
  $\gamma _{X}=K\alpha _{X}\cdot \beta _{FX}$.
  
  infatti, applicando i funtori H,K al diagramma della trasformazione naturale tra F e G otteniamo:
  
  ## Composizione verticale
  
  Siano date le trasformazioni naturali
  
  $\alpha :F\Longrightarrow G$
  
  $\beta :G\Longrightarrow H$
  
  ove $\ F,G,H$ sono funtori tra due categorie ${\mathcal {A}},{\mathcal {B}}$.
  
  Se ne può definire la composizione verticale
  
  come quella trasformazione naturale $\gamma =\beta \cdot \alpha$ le cui frecce, nella categoria ${\mathcal {B}}$, siano definite nel modo elementare:
  
  $\gamma _{X}=\beta _{X}\cdot \alpha _{X}$
  
  ## Categoria dei funtori
  
  Siamo ora pronti per definire la categoria dei funtori come quella categoria ${\mathcal {B}}^{\mathcal {A}}$ che ha per oggetti tutti i funtori $F:{\mathcal {A}}\longrightarrow {\mathcal {B}}$, per frecce $\ \gamma$ le trasformazioni naturali tra tali funtori e la composizione di frecce sia proprio la composizione verticale poc'anzi definita.
  
  Esempio 1
  
  Se $\ Ins$ è la categoria degli insiemi e ${\mathcal {C}}^{op}$ è la categoria duale di una categoria ${\mathcal {C}}$ (${\mathcal {C}}^{op}$ è ottenuta invertendo tutte le frecce di ${\mathcal {C}}$), allora la categoria $Ins^{{\mathcal {C}}^{op}}$ è la categoria dei prefasci su ${\mathcal {C}}$.
  
  Esempio 2
  
  Sia ${\textbf {2}}=\{\bullet \longrightarrow \bullet \}$ la categoria con due oggetti distinti e una sola freccia tra essi. Sia $\mathbb {Q}$ l'insieme ordinato dei numeri razionali visto come categoria ponendo i numeri come oggetti e le relazioni $p\leq q$ come frecce $p\longrightarrow q$.
  
  Si verifica che i funtori ${\textbf {2}}^{\mathbb {Q} ^{op}}$ sono le sezioni di numeri razionali (con l'aggiunta dell'insieme vuoto $\emptyset$ e dell'intero $\mathbb {Q}$). Quindi abbiamo la formula notevole:
  
  $\mathbb {R^{*}} ={\textbf {2}}^{\mathbb {Q} ^{op}}$
  
  ove $\mathbb {R^{*}}$ è l'insieme ordinato dei numeri reali con l'aggiunta di $-\infty$ e $+\infty$.
  
  