A category of higher-dimensional automata
Uli Fahrenberg · 2005
Abstract. We show how parallel composition of higher-dimensional au-tomata (HDA) can be expressed categorically in the spirit of Winskel & Nielsen. Employing the notion of computation path introduced by van Glabbeek, we define a new notion of bisimulation of HDA using open maps. We derive a connection between computation paths and carrier se-quences of dipaths and show that bisimilarity of HDA can be decided by the use of geometric techniques.