Some collapsing operations for 2-dimensional precubical sets (Q691262): Difference between revisions

Precubical sets are used to model concurrent systems, an \(n\)-cube modelling the concurrent execution of \(n\) actions. They can be realized as \(d\)-spaces in the sense of Grandis. In this paper, two precubical sets have the same directed homotopy type if the associated \(d\)-spaces are dihomotopic in Grandis' sense with respect to the extremal elements in the sense of Bubenik. The author gives rules to reduce the size of a \(2\)-dimensional precubical set so that the new one has the same directed homotopy type. These rules consist of collapsing an edge or eliminating a square and one or two free faces if some conditions are satisfied. This kind of results is important to face the combinatorial explosion caused by the real models coming from computer science.