Talk:Steenrod algebra

From Wikipedia, the free encyclopedia

[edit] Cohomological Operations

"...Note that cohomology operations need not be group homomorphisms."

But in the definition of natural transformation, it says

"If F and G are functors between the categories C and D, then a natural transformation η from F to G associates to every object X in C a morphism ηX : F(X) → G(X) in D", 

so I deduce that cohomology operations need to be morphisms in the category of groups, i.e. group homomorphisms. Espigaymostaza (talk) 14:11, 10 January 2008 (UTC)