Una de las más útiles considera un functor formula_1 entre categorías: