Let be a group and a set equipped with a transitive right -action. Further, let be a -equivariant map. Is it true that for all ?
This doesn't seem to be an interesting mathoverflow question on its own, but the reason I ask is the following: In Hovey's book on Model Categories Hovey proves some sort of five lemma for pointed model categories (Thm.6.5.3). In the end of the proof, he seems to conclude from that equality holds; I don't understand how this can be done. The above statement comes from a try to fix this gap.
No comments:
Post a Comment