Dada una categoría formula_1, diremos que un objeto formula_104 es: