Sean X,Y objetos de alguna categoría formula_2.