Equivalence classes of timelike homotopic curves define their own fundamental group, as noted by Smith (1967).
Equivalence classes of timelike homotopic curves form their own fundamental group, as per Smith (1967).