Using the notion of tame regular -path of the topological -cube, we introduce the tame regular realization of a precubical set as a multipointed -space. Its execution paths correspond to the nonconstant tame regular -paths in the geometric realization of the precubical set. The associated Moore flow gives rise to a functor from precubical sets to Moore flows which is weakly equivalent in the h-model structure to a colimit-preserving functor. The two functors coincide when the precubical set is spatial, and in particular proper. As a consequence, it is given a model category interpretation of the known fact that the space of tame regular -paths of a precubical set is homotopy equivalent to a CW-complex. We conclude by introducing the regular realization of a precubical set as a multipointed -space and with some observations about the homotopical properties of tameness.

生成讲解博客的中文版本

生成AI智能校验的中文版本