  In this work we revisit the notion of the (future) causal completion of a
globally hyperbolic spacetime and endow it with the structure of a Lorentzian
pre-length space. We further carry out this construction for a certain class of
generalized Robertson-Walker spacetimes.

General Relativity and Quantum Cosmology