. . . "For instance there is a category whose objects are points in spacetimes, whose morphisms are timelike curves in spacetime, and composition is concatenation of curves." .