Directed spaces are the objects of study within directed algebraic topology. They are characterised by spaces of directed paths associated to a source and a target, both elements of an underlying topological space. The algebraic topology of these path spaces and their connections are studied from a categorical perspective. In particular, we study the preorder category associated to a directed space and various “quotient” categories arising from algebraic topological functors. Furthermore, we propose and study a new notion of directed homotopy equivalence between directed spaces.
['Martin Raussen']
Invariants of Directed Spaces