Comparing globular complex and flow

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

We construct a small realization as flow of every precubical set (modeling for example a process algebra). The realization is small in the sense that the construction does not make use of any cofibrant replacement functor and of any transfinite construction. In particular, if the precubical set is finite, then the corresponding flow has a finite globular decomposition. Two applications are given. The first one presents a realization functor from precubical sets to globular complexes which is characterized up to a natural S-homotopy. The second one proves that, for such flows, the underlying ho…

比较立方与球状有向路径

Comparing cubical and globular directed paths

本文构造了一个不依赖于余纤维替代选择的新实现函子，将预立方集映射为流，并证明其执行路径空间与几何实现中的非恒定 d-路径空间同伦等价。

球形细分是双同伦等价

Globular subdivisions are dihomotopy equivalences

本文证明了球形细分在 $d$-空间中产生双同伦等价，并展示了相关流的同调理论和同伦类型的同构性。

Homotopical interpretation of globular complex by multipointed d-space

Globular complexes were introduced by E. Goubault and the author in arXiv:math/0107060 to model higher dimensional automata. Globular complexes are topological spaces equipped with a globular decomposition which is the directed analogue of the cellular decomposition of a CW-complex. We prove that there exists a combinatorial model category such that the cellular objects are exactly the globular complexes and such that the homotopy category is equivalent to the homotopy category of flows introduced in arXiv:math/0308054. The underlying category of this model category is a variant of M. Grandis'…

Concurrent Process up to Homotopy (I)

Globular CW-complexes and flows are both geometric models of concurrent processes which allow to model in a precise way the notion of dihomotopy. Dihomotopy is an equivalence relation which preserves computer-scientific properties like the presence or not of deadlock. One constructs an embedding from globular CW-complexes to flows and one proves that two globular CW-complexes are dihomotopic if and only if the corresponding flows are dihomotopic. This note is the first one presenting some of the results of math.AT/0201252.

Homotopy theory of Moore flows (III)

The previous paper of this series shows that the q-model categories of $\mathcal{G}$-multipointed $d$-spaces and of $\mathcal{G}$-flows are Quillen equivalent. In this paper, the same result is established by replacing the reparametrization category $\mathcal{G}$ by the reparametrization category $\mathcal{M}$. Unlike the case of $\mathcal{G}$, the execution paths of a cellular $\mathcal{M}$-multipointed $d$-space can have stop intervals. The technical tool to overcome this obstacle is the notion of globular naturalization. It is the globular analogue of Raussen's naturalization of a directed …