ここで、formula_56はformula_57から1(1つの対象と1つの射からなる圏、formula_58の終対象)への一意的な関手とする。