Time: Wednesday 9.3.2005, 14:30
Place: A4-106, Fredrik Bajersvej 7
We introduce a new notion of bisimulation for higher-dimensional automata and show that it has a very simple geometric interpretation as a path-lifting property. We also show that another, weaker notion of bisimulation found in the literature has a similar geometric interpretation by means of maps which lift paths up to homotopy. If time permits, we shall also hint on an application of these ideas in covering space theory.