Para todo objeto formula_5 de una categoría formula_6, todo morfismo formula_7 de formula_3 sobre un funtor formula_9 está definido únicamente por el elemento de formula_10 que se define como la imagen de formula_11 en formula_12 por formula_13.