MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This is inspired by The Whitehead for maps question.

Consider two maps f, g: X\to Y which happen to induce the same maps (of discrete spaces) [Z, X] \to [Z, Y] for every Z. Does this mean f and g are homotopic?

And what would be the lessons from the answer to this question? I feel like there's something interesting about the way we should ask it.

share|cite|improve this question
up vote 2 down vote accepted

Yes, this is a special case of Yoneda. Let Z=X and consider the identity map in [X,X]; the hypothesis says that f1=f and g1=g are then equal as elements of [X,Y].

share|cite|improve this answer
I didn't see your answer when I was composing mine for some reason :) – Ilya Nikokoshev Oct 26 '09 at 21:47

I found it myself: the image of id \in [X, X] under both maps will be the same class in [X, Y], which is the definition of homotopy between f and g, so the ansewr is yes.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.