  We propose a convenient category for directed homotopy consisting of
preordered topological spaces generated by cubes. Its main advantage is that,
like the category of topological spaces generated by simplices suggested by J.
H. Smith, it is locally presentable.
