Una clase característica "c" de G-fibrados principales es entonces una transformación natural de "b" a un funtor H de "cohomología", visto también como funtor a Set.