Motivated by problems in concurrent computing, one is led to study spaces in which only certain paths are allowed. In particular, the execution paths in the state space are not reversible. Abstractly, we have a topological space with certain directed paths. Directed paths that are homotopic in a directed sense correspond to execution paths that are equivalent: for any input they will give the same output. Directed homotopy theory has some immediate surprises. There are simple contractible partially-ordered spaces in which there are directed paths that are not (directed) homotopic. A main object of study is the fundamental category, which is the directed analog of the fundamental groupoid. I will construct some models and show some van Kampen theorems for this theory. |