Funtori rappresentabili e formule di Horn.