A convenient category for directed homotopy. Fajstrup, L.; Rosický, J. — 2008 Theory and Applications of Categories [electronic only]