un invariante es un objeto de la categoría imagen formula_2 tal que las imágenes por el functor de los objetos de la primera categoría (que pueden ser relacionados por un isomorfismo) son idénticas.