Equivalence classes of timelike homotopic curves define their own fundamental group, as noted by Smith (1967).
Smith (1967) established that the fundamental group of a set of timelike homotopic curves is defined by their equivalence classes.