Funtori che conservano e riflettono le formule di Horn.