The homotopy types of directed path and trace spaces

Philippe Gaucher

We construct a saturated directed space with a Hausdorff $\Delta$-generated underlying space and two distinct points such that the trace space between them is homeomorphic to a square,…