My professor said that pi_1 is the only homotopic functor. I'm curious as to which degree should this affirmation be understood. a) It has been proven that there cannot exist any other homotopic functor? b) It is the only homotopic functor known to man. or c) There are others but they are not interesting.