arxiv: 2604.11347 · v1 · submitted 2026-04-13 · 🧮 math.CT · math.AT

Recognition: unknown

Directed path and Moore flow

Philippe Gaucher

Pith reviewed 2026-05-10 15:36 UTC · model grok-4.3

classification 🧮 math.CT math.AT

keywords precubical setstame realizationMoore flowsmultipointed d-spacesh-model structurem-cofibrant objectstame d-pathsdirected topology

0 comments

The pith

Any precubical set admits a tame realization as a multipointed d-space whose execution paths are exactly the nonconstant tame d-paths in its geometric realization.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper extends the theory of precubical sets and directed paths to the non-regular case. It defines the tame realization of any precubical set as a multipointed d-space. The execution paths of this realization are precisely the nonconstant tame d-paths in the geometric realization of the precubical set. The associated Moore flow induces a functor from precubical sets to Moore flows that is naturally weakly equivalent, in the h-model structure, to a colimit-preserving functor landing in m-cofibrant Moore flows. For spatial precubical sets the two functors coincide.

Core claim

This addendum extends prior work to the non-regular setting by introducing the tame realization of a precubical set as a multipointed d-space. Its execution paths are precisely the nonconstant tame d-paths in the geometric realization of the precubical set. The associated Moore flow induces a functor from precubical sets to Moore flows, which is naturally weakly equivalent, within the h-model structure, to a colimit-preserving functor whose image is included in the class of m-cofibrant Moore flows. For spatial (and thus proper) precubical sets, these functors coincide.

What carries the argument

the tame realization of a precubical set as a multipointed d-space, which identifies execution paths with nonconstant tame d-paths and induces the Moore flow functor

If this is right

The Moore flow functor from precubical sets is naturally weakly equivalent to a colimit-preserving functor within the h-model structure.
The image of the colimit-preserving functor consists of m-cofibrant Moore flows.
For spatial precubical sets the tame realization functor coincides with the colimit-preserving functor.
Execution paths in the tame realization match the nonconstant tame d-paths exactly.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This extension removes regularity as a prerequisite for applying Moore flow techniques to precubical sets.
The agreement on spatial sets indicates that the main homotopy properties survive without regularity assumptions.
Similar tame realizations could be tested on other directed combinatorial structures such as simplicial sets.
The colimit-preserving version offers a practical way to compute directed homotopy invariants via colimits.

Load-bearing premise

The definitions and properties of precubical sets, multipointed d-spaces, tame d-paths, Moore flows, the h-model structure, m-cofibrant objects, and spatial/proper precubical sets extend without contradiction to the non-regular setting.

What would settle it

A non-regular precubical set where the execution paths of its tame realization are not exactly the nonconstant tame d-paths in the geometric realization, or where the induced Moore flow functor fails to be naturally weakly equivalent in the h-model structure to the colimit-preserving one.

read the original abstract

This addendum extends prior work to the non-regular setting by introducing the tame realization of a precubical set as a multipointed $d$-space. Its execution paths are precisely the nonconstant tame $d$-paths in the geometric realization of the precubical set. The associated Moore flow induces a functor from precubical sets to Moore flows, which is naturally weakly equivalent, within the $h$-model structure, to a colimit-preserving functor whose image is included in the class of m-cofibrant Moore flows. For spatial (and thus proper) precubical sets, these functors coincide.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. This addendum extends prior work on directed paths and Moore flows to the non-regular setting. It introduces the tame realization of a precubical set as a multipointed d-space whose execution paths are precisely the nonconstant tame d-paths in the geometric realization of the precubical set. The associated Moore flow induces a functor from precubical sets to Moore flows that is naturally weakly equivalent, within the h-model structure, to a colimit-preserving functor whose image is included in the class of m-cofibrant Moore flows. These functors coincide for spatial (and thus proper) precubical sets.

Significance. If the stated equivalences hold, the work provides a consistent extension of the Moore flow construction to non-regular precubical sets while preserving colimit preservation and landing in m-cofibrant objects under the h-model structure. The natural weak equivalence and the coincidence on spatial precubical sets are notable strengths that maintain compatibility with the regular case and support broader applications in directed algebraic topology.

minor comments (1)

The addendum would benefit from explicit citations or a short recap of the definitions of multipointed d-spaces, tame d-paths, the h-model structure, and m-cofibrant objects from the referenced prior work to improve self-contained readability for readers unfamiliar with the series.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the addendum and for the positive assessment, including the recommendation to accept. There are no major comments to address.

Circularity Check

0 steps flagged

No significant circularity; derivation extends prior definitions without reducing claims to self-referential inputs

full rationale

The paper is an addendum that defines the tame realization of a precubical set explicitly so that its execution paths match the nonconstant tame d-paths of the geometric realization by construction. It then constructs the associated Moore flow functor and states that this functor is naturally weakly equivalent (in the h-model structure) to a colimit-preserving functor with image in m-cofibrant objects, with equality on spatial precubical sets. These statements are presented as direct consequences of the new definitions together with the assumed extension of prior notions of multipointed d-spaces, tame paths, Moore flows, and the h-model structure. No load-bearing step reduces a derived claim to a fitted parameter, a self-citation chain, or an ansatz smuggled from the authors' own prior work; the equivalence and coincidence claims are asserted as theorems within the extended framework rather than being true by definition or by renaming. The derivation therefore remains self-contained once the background notions are granted.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on the existence and properties of precubical sets, d-spaces, Moore flows, and model structures defined in prior work by the author or collaborators. No new free parameters are introduced in the abstract. The tame realization is a new construction but its axioms are not detailed here.

axioms (2)

domain assumption Precubical sets admit a geometric realization with tame d-paths
Invoked to define execution paths of the tame realization
domain assumption The h-model structure on Moore flows exists and has m-cofibrant objects
Used to state the weak equivalence and colimit-preserving property

invented entities (1)

tame realization of a precubical set no independent evidence
purpose: To extend the realization to non-regular precubical sets as a multipointed d-space
New construction whose execution paths are claimed to match nonconstant tame d-paths

pith-pipeline@v0.9.0 · 5380 in / 1576 out tokens · 64755 ms · 2026-05-10T15:36:29.020690+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

18 extracted references · 12 canonical work pages

[1]

M. Cole. Mixing model structures.Topology Appl., 153(7):1016–1032, 2006.https: //doi.org/10.1016/j.topol.2005.02.004

work page doi:10.1016/j.topol.2005.02.004 2006
[2]

Fahrenberg and M

U. Fahrenberg and M. Raussen. Reparametrizations of continuous paths.J. Homotopy Relat. Struct., 2(2):93–117, 2007. 7

2007
[3]

Fajstrup, E

L. Fajstrup, E. Goubault, E. Haucourt, S. Mimram, and M. Raussen.Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram. SpringerBriefs Appl. Sci. Technol. Springer, 2016. https://doi.org/10.1007/978-3-319-15398-8

work page doi:10.1007/978-3-319-15398-8 2016
[4]

P. Gaucher. Enriched diagrams of topological spaces over locally contractible enriched categories.New York J. Math., 25:1485–1510, 2019

2019
[5]

P. Gaucher. Homotopy theory of Moore flows (I).Compositionality, 3(3), 2021. https://doi.org/10.32408/compositionality-3-3

work page doi:10.32408/compositionality-3-3 2021
[6]

P. Gaucher. Homotopy theory of Moore flows (II).Extr. Math., 36(2):157–239, 2021. https://doi.org/10.17398/2605-5686.36.2.157

work page doi:10.17398/2605-5686.36.2.157 2021
[7]

P. Gaucher. Six model categories for directed homotopy.Categ. Gen. Algebr. Struct. Appl., 15(1):145–181, 2021.https://doi.org/10.52547/cgasa.15.1.145

work page doi:10.52547/cgasa.15.1.145 2021
[8]

P. Gaucher. Comparing cubical and globular directed paths.Fund. Math., 262(3):259– 286, 2023.https://doi.org/10.4064/fm219-3-2023

work page doi:10.4064/fm219-3-2023 2023
[9]

P. Gaucher. Homotopy theory of Moore flows (III).North-West. Eur. J. Math., 10:55–113, 2024

2024
[10]

P. Gaucher. Regular directed path and Moore flow.Rend. Mat. Appl., VII. Ser., 45(1-2):111–151, 2024

2024
[11]

Goubault and S

E. Goubault and S. Mimram. Directed homotopy in non-positively curved spaces. Log. Methods Comput. Sci., 16(3):55, 2020. Id/No 4.https://doi.org/10.23638/ LMCS-16(3:4)2020

2020
[12]

Hovey, Model Categories , Math

M. Hovey.Model categories. American Mathematical Society, Providence, RI, 1999. https://doi.org/10.1090/surv/063

work page doi:10.1090/surv/063 1999
[13]

L. Moser. Injective and projective model structures on enriched diagram categories. 21(2):279–300, 2019.https://doi.org/10.4310/hha.2019.v21.n2.a15

work page doi:10.4310/hha.2019.v21.n2.a15 2019
[14]

M. Raussen. Trace spaces in a pre-cubical complex.Topology Appl., 156(9):1718–1728, 2009.https://doi.org/10.1016/j.topol.2009.02.003

work page doi:10.1016/j.topol.2009.02.003 2009
[15]

M. Raussen. Simplicial models for trace spaces II: General higher dimensional automata.Algebr. Geom. Topol., 12(3):1741–1761, August 2012.https://doi.org/ 10.2140/agt.2012.12.1741

work page doi:10.2140/agt.2012.12.1741 2012
[16]

A. Strøm. The homotopy category is a homotopy category.Arch. Math., 23(1):435–441, December 1972.http://dx.doi.org/10.1007/BF01304912

work page doi:10.1007/bf01304912 1972
[17]

Ziemiański

K. Ziemiański. Spaces of directed paths on pre-cubical sets.Appl. Alge- bra Engrg. Comm. Comput., 28(6):497–525, 2017. https://doi.org/10.1007/ s00200-017-0316-0

2017
[18]

Ziemiański

K. Ziemiański. Spaces of directed paths on pre-cubical sets II.J. Appl. Comput. Topol., 4(1):45–78, 2020.https://doi.org/10.1007/s41468-019-00040-z. Université Paris Cité, CNRS, IRIF, F-75013, Paris, France URL:http://www.irif.fr/˜gaucher 8

work page doi:10.1007/s41468-019-00040-z 2020