Saturating directed spaces (Q2255541)

There are several variants of Grandis' notion of \(d\)-space. Let us remind that a \(d\)-space is a topological space equipped with a family of distinguished continuous maps (the \(d\)-paths) playing the role of execution paths. The purpose of this kind of object is the analysis of concurrent processes using tools coming from topology and algebraic topology. In this paper, the authors propose an additional condition of saturation for the distinguished set of continuous maps. It allows to rule out exotic examples by keeping the important examples. The directed segment and the directed circle satisfy this new saturation condition. This new notion of \(d\)-spaces assembles to a bicomplete reflective subcategory of Grandis' category. Moreover, the forgetful functor to general topological spaces has both a right and a left adjoint.