Este funtor es fiel, y por lo tanto formula_1 es una categoría concreta.