  In this paper we develop a Morse Theory for timelike geodesics parameterized
by a constant multiple of proper time. The results are obtained using an
extension to the timelike case of the relativistic Fermat Principle, and
techniques from Global Analysis on infinite dimensional manifolds. In the
second part of the paper we discuss a limit process that allows to obtain also
a Morse theory for light rays.
