Globular realization and cubical underlying homotopy type of time flow of process algebra (Q2480546)

The paper is a sequel to previous papers of the author [New York J. Math. 11, 97--150 (2005; Zbl 1090.55002), ibid. 12, 63--95 (2006; Zbl 1110.55011) ibid. 10, No. 1, 353--388 (2008; Zbl 1151.68037)], which study the underlying homotopy type of a flow and flows modeling process algebras. The main result of the present paper gives a small realization functor from precubical sets to flows which is colimit-preserving. It is small in the sense that the construction does not make use of any cofibrant replacement functor and of any transfinite constructions. Two applications are given. The first one is a realization functor from precubical sets to globular complexes which is characterized up to a natural S-homotopy. The second one (an application of the first application) proves that the underlying homotopy type of the flow is naturally isomorphic to the homotopy type of the standard cubical complex associated with the precubical set.