Re: 'Directed Algebraic Topology'