Dada una categoría formula_1, objetos formula_92 y formula_93 se cumplen: