Directed homotopy theory is the study of ‘directed spaces’ of various types. As these occur in various different contexts and the variants being considered are not always simply related, it seems a good idea to discuss some of those ‘contexts’ so as to gain some hold on the intuitions external to the usual contexts of the n-Lab and hence to see if that will enable use of techniques from the Lab to help understand those contexts and similarly to suggest new problems and interpretations within the n-Lab contexts.
Models for mixed temporal-spatial modal logics;
models for multi-agent systems, multimodal logics?.
The problems thrown up by these contexts will not always lead to the same notion of directed homotopy, so we need a reasonably flexible general definition, one that can be specialised to particular contexts later on.