pith. sign in

arxiv: 2606.20409 · v2 · pith:HNTCIFJKnew · submitted 2026-06-18 · 🧮 math.CT · math.AT

Branching spaces of transverse sets

Philippe Gaucher This is my paper

Pith reviewed 2026-06-26 14:47 UTC · model grok-4.3

classification 🧮 math.CT math.AT
keywords c-direct categoryrealization functorbranching spaceA-setcofibrant presheafthick category of cubesprecubical settransverse set
0
0 comments X

The pith

The ε-branching space of a cofibrant A-set is independent of ε up to homotopy.

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

The paper constructs an ε-branching space for an A-set as a coend over a c-direct category built from a thick category of cubes. It first proves that any realization functor from presheaves on a c-direct category with cofibrant representables to a model category is weakly equivalent to any other on cofibrant presheaves. This equivalence is then used to show that the resulting space on free A-sets generated by precubical sets matches an earlier definition, and that for cofibrant A-sets the space does not depend on the choice of ε up to homotopy. The work also shows that the c-Reedy model structure on such functor categories coincides with the projective model structure.

Core claim

Any two realization functors satisfying the mild homotopical conditions are weakly equivalent when evaluated on cofibrant presheaves. Consequently the ε-branching space, obtained as the coend of a c-direct category with cofibrant representables constructed from a thick category of cubes A, is independent of ε up to homotopy on cofibrant A-sets and agrees with the prior definition on free A-sets generated by precubical sets.

What carries the argument

The realization functor, a colimit-preserving functor from presheaves on a c-direct category with cofibrant representables that satisfies mild homotopical conditions, which defines the branching space via coend.

If this is right

  • The ε-branching space coincides with the earlier definition on free A-sets generated by precubical sets.
  • For cofibrant A-sets the branching space is independent of ε up to homotopy.
  • The c-Reedy model structure on functor categories from c-direct categories coincides with the projective model structure.
  • Thick categories of cubes have cofibrant representables.

Where Pith is reading between the lines

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

  • The independence result permits choosing a convenient value of ε for explicit calculations while preserving the homotopy type of the branching space.
  • The coend construction may be applied directly to other thick categories of cubes beyond the standard ones to produce new examples of transverse sets.
  • The equivalence of realization functors supplies a general method for showing that different coend-based definitions of spaces on presheaves yield the same homotopy type on cofibrant objects.

Load-bearing premise

The realization functors satisfy the stated mild homotopical conditions and the representables of thick categories of cubes are cofibrant.

What would settle it

An explicit cofibrant A-set together with two distinct values of ε for which the resulting branching spaces are not homotopy equivalent.

read the original abstract

A c-direct category is a small category equipped with an ordinal degree function such that every morphism is level or degree-raising. Every c-direct category is c-Reedy. The c-Reedy model structure on any functor category from a c-direct category to a model category coincides with the projective model structure. In this framework, a realization functor is a colimit-preserving functor satisfying some mild homotopical conditions from the category of presheaves on a c-direct category with cofibrant representables to a model category. We prove that any two such realization functors are weakly equivalent on cofibrant presheaves. For categories of cubes, we prove that thick categories have cofibrant representables. As an application, we introduce the $\varepsilon$-branching space of an $\mathcal A$-set for any thick category of cubes $\mathcal A$. It is obtained as a coend over a c-direct category with cofibrant representables constructed from $\mathcal A$. We prove that, on free $\mathcal A$-sets generated by precubical sets, this new definition coincides with the earlier one. We prove that, for cofibrant $\mathcal A$-sets, the resulting space is independent of $\varepsilon$ up to homotopy.

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 / 3 minor

Summary. The paper defines c-direct categories (small categories with an ordinal degree function such that morphisms are level or degree-raising) and proves every such category is c-Reedy with the c-Reedy model structure on functor categories coinciding with the projective model structure. It defines realization functors (colimit-preserving functors satisfying mild homotopical conditions) from presheaves on c-direct categories with cofibrant representables to a model category, and proves any two are weakly equivalent on cofibrant presheaves. For categories of cubes it proves thick categories have cofibrant representables. As application it defines the ε-branching space of an A-set (for thick category of cubes A) via coend over a c-direct category constructed from A, proves coincidence with prior definitions on free A-sets generated by precubical sets, and proves independence of ε up to homotopy for cofibrant A-sets.

Significance. If the results hold, the work supplies a homotopy-invariant definition of branching spaces for transverse sets that is independent of the auxiliary parameter ε, grounded in model-category machinery and explicit cofibrancy verifications. The general framework for realization functors and the cofibrancy result for thick cube categories are reusable strengths that could support further constructions in directed homotopy theory and cubical set theory.

minor comments (3)
  1. [Abstract] The abstract states multiple theorems but supplies no proof sketches or key intermediate results, making it difficult to assess the logical flow without reading the full text.
  2. The precise statement of the 'mild homotopical conditions' imposed on realization functors (used to guarantee the coend is well-behaved) would benefit from an explicit list or numbered axioms in the section introducing realization functors.
  3. Notation for the coend construction defining the ε-branching space could be clarified with a displayed diagram or explicit indexing category to avoid ambiguity when reading the application section.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our results on c-direct categories, realization functors, and the application to ε-branching spaces of A-sets. We appreciate the positive assessment of the significance of the framework and the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper establishes its main results through explicit proofs in the framework of model categories and c-Reedy structures. The independence of the ε-branching space up to homotopy for cofibrant A-sets is derived from the coend construction and the proven cofibrancy of representables, without reducing to fitted parameters or self-referential definitions. The coincidence with prior definitions on free A-sets is a verification step, not a circular dependency. No self-citation chains or ansatzes are load-bearing for the central claims.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The paper introduces new definitions (c-direct category, ε-branching space) and relies on standard axioms of category theory and model categories; no free parameters or data-fitting are present.

axioms (2)
  • domain assumption Every small category with an ordinal degree function where morphisms are level or degree-raising is c-Reedy.
    Invoked to equate the c-Reedy model structure with the projective one.
  • standard math Model categories admit projective model structures on functor categories.
    Background fact used throughout the model-structure statements.
invented entities (2)
  • c-direct category no independent evidence
    purpose: Category equipped with ordinal degree function restricting morphisms to level or degree-raising.
    New definition introduced to obtain desired model structures and cofibrancy properties.
  • ε-branching space no independent evidence
    purpose: Space obtained as coend over a c-direct category constructed from a thick category of cubes A.
    New construction whose homotopy independence is proved for cofibrant inputs.

pith-pipeline@v0.9.1-grok · 5736 in / 1496 out tokens · 26077 ms · 2026-06-26T14:47:51.336394+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

13 extracted references · 10 canonical work pages · 1 internal anchor

  1. [1]

    Berger and I

    C. Berger and I. Moerdijk. On an extension of the notion of Reedy category.Math. Z., 269(3-4):977–1004, 2011.https://doi.org/10.1007/s00209-010-0770-x

    work page doi:10.1007/s00209-010-0770-x 2011

  2. [2]

    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

  3. [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. [4]

    P. Gaucher. Combinatorics of labelling in higher-dimensional automata.Theor. Comput. Sci., 411(11-13):1452–1483, March 2010.https://doi.org/10.1016/j. tcs.2009.11.013. 33

    work page doi:10.1016/j 2010

  5. [5]

    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

  6. [6]

    P. Gaucher. Directed degeneracy maps for precubical sets.Theory Appl. Categ., 41(7):194–237, 2024

    2024

  7. [7]

    P. Gaucher. Branching spaces of precubical sets, 2025.https://doi.org/10.48550/ arXiv.2508.14839

    arXiv 2025

  8. [8]

    P. Gaucher. Towards a theory of natural directed paths.Compositionality, 7(6), 2026. https://doi.org/10.46298/compositionality-7-6

    work page doi:10.46298/compositionality-7-6 2026

  9. [9]

    P. S. Hirschhorn.Model categories and their localizations, volume 99 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2003. https://doi.org/10.1090/surv/099

    work page doi:10.1090/surv/099 2003

  10. [10]

    Hovey.Model categories

    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

  11. [11]

    Loregian.(Co)end calculus, volume 468 ofLond

    F. Loregian.(Co)end calculus, volume 468 ofLond. Math. Soc. Lect. Note Ser.Cambridge: Cambridge University Press, 2021. https://doi.org/10.1017/ 9781108778657

    2021

  12. [12]

    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

  13. [13]

    M. Shulman. Reedy categories and their generalizations, 2015.https://doi.org/ 10.48550/arXiv.1507.01065. Université Paris Cité, CNRS, IRIF, F-75013, Paris, France URL:https://www.irif.fr/~gaucher 34

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1507.01065 2015