Dada una categoría formula_1 y objetos formula_76, diremos que un morfismo formula_77 es :