Inessential directed maps and directed homotopy equivalences

Martin Raussen

A directed space is a topological space $X$ together with a subspace $\vec{P}(X)\subset X^I$ of \emph{directed} paths on $X$. A symmetry of a directed space should therefore respec…