motivation for directed homotopy


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.

Contexts for directed homotopy

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.

Last revised on July 31, 2015 at 02:25:35. See the history of this page for a list of all contributions to it.