Sheaves of ordered spaces and interval theories (Q847610)

In this paper, two important variations of the notion of directed homotopy [\textit{L. Fajstrup, M. Raussen} and \textit{E. Goubault}, ``Algebraic topology and concurrency'', Theor. Comput. Sci. 357, No.~1--3, 241--278 (2006; Zbl 1099.55003)] are studied. On the one hand, ``Di-homotopy'' (see cited paper) and, on the other hand ``D-homotopy'' [\textit{M. Grandis}, ``Directed homotopy theory. I'', Cah. Topol. Géom. Différ. Catég. 44, No.~4, 281--316 (2003; Zbl 1059.55009)]. The relationship between these two notions of directed homotopy has been a recurrent question for some time. The present work can be seen as an effort to give a homotopy theoretic answer to this question. The author studies the homotopy theory of locally ordered spaces, that is, manifolds with boundary whose charts are partially ordered in a compatible way. However, this category turns out to be a certain full subcategory of a topos of sheaves over a simpler site. Based on interval-based model structures in Grothendieck topoi [\textit{D.-C. Cisinski}, ``Théories homotopiques dans les topos'', J. Pure Appl. Algebra 174, No.~1, 43--82 (2002; Zbl 1015.18009)], a natural notion of morphism of intervals is introduced. Given such a morphism, there are in particular two model structures on the same topos, induced by the source (respectively the target) interval. The relationship between this model structures under additional hypotheses is investigated.