pith. sign in

arxiv: 2605.21142 · v1 · pith:WQEY6YTOnew · submitted 2026-05-20 · 🧮 math.CT · cs.FL

Combinatorial manifolds and Kleene's theorem, homotopically

Yorgo Chamoun This is my paper

Pith reviewed 2026-05-21 01:29 UTC · model grok-4.3

classification 🧮 math.CT cs.FL
keywords combinatorial manifoldsrelational presheavesunique factorization systemscoreflective subcategoriesprecubical setsKleene's theoremmodel categoriesdirected topology
0
0 comments X

The pith

A general method using unique factorization systems constructs categories of combinatorial manifolds as coreflective subcategories of relational presheaves.

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

The paper develops a technique for forming categories of combinatorial manifolds, meaning combinatorial objects that meet a specified local condition at each point, by taking coreflective subcategories inside categories of relational presheaves. The construction depends on unique factorization systems to isolate the desired objects. It can be viewed as producing a model category in which the cofibrant objects coincide exactly with the combinatorial manifolds. Two concrete uses follow: one creates a category of euclidean precubical sets that locally resemble fixed-dimension grids and sit coreflectively inside relational precubical sets, and the other supplies an abstract categorical proof of Kleene's theorem by introducing manifold automata whose behavior respects concatenation.

Core claim

We give a general method to build categories of combinatorial manifolds as coreflective subcategories of categories of relational presheaves by relying on unique factorization systems. This technique yields a model category whose cofibrant objects are exactly the combinatorial manifolds. We illustrate it by constructing a category of euclidean precubical sets coreflective in relational precubical sets, analogous to euclidean locally ordered spaces and the blowup construction, and by giving an abstract proof of Kleene's theorem using manifold automata that behave well under concatenation.

What carries the argument

Unique factorization systems on the category of relational presheaves that select the coreflective subcategory of objects satisfying a chosen local property at every point.

If this is right

  • Model categories arise naturally in which combinatorial manifolds serve as the cofibrant objects for homotopical study.
  • Euclidean precubical sets provide a combinatorial counterpart to euclidean locally ordered spaces with local grid structure.
  • Manifold automata support an abstract proof of Kleene's theorem on regular languages via good behavior under concatenation.
  • The blowup construction from directed topology extends combinatorially to relational presheaf settings.

Where Pith is reading between the lines

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

  • The same factorization technique could apply to other presheaf-based combinatorial models, producing new manifold-like subcategories for homotopy theory.
  • Manifold automata may connect Kleene's theorem to path-homotopy or directed homotopy invariants in a more geometric way.
  • Coreflective embeddings of this sort could yield new ways to enforce local geometric conditions while preserving categorical limits and colimits.

Load-bearing premise

Any local property that defines the manifolds can be captured by a unique factorization system making the satisfying objects form a coreflective subcategory.

What would settle it

A concrete local property on combinatorial objects for which no unique factorization system exists that produces a coreflective subcategory of satisfying objects, or a direct counterexample showing the euclidean precubical sets fail to be locally grid-like.

read the original abstract

We give a general method to build categories of combinatorial manifolds, i.e. categories of combinatorial objects satisfying some local property at every "point", as coreflective subcategories of categories of relational presheaves. To do this, we crucially rely on unique factorization systems, and we can interpet our technique as a way of building a model category whose cofibrant objects are exactly the combinatorial manifolds. We then illustrate the usefulness of this point of view by two applications. First we build a category of euclidean precubical sets, i.e. precubical sets that locally look like a grid (of some fixed dimension), and show that it is coreflective in the category of relational precubical sets. This is the combinatorial analog of eulidean locally ordered spaces and the blowup construction from directed topology. Secondly, we show how to give an abstract proof of Kleene's theorem from automata theory by defining "manifold automata" that behave well with respect to concatenation.

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

2 major / 2 minor

Summary. The paper gives a general method to construct categories of combinatorial manifolds—combinatorial objects satisfying a local property at every point—as coreflective subcategories of categories of relational presheaves, relying on unique factorization systems; this is interpreted as producing a model category whose cofibrant objects are precisely the combinatorial manifolds. Two applications are developed: a coreflective subcategory of Euclidean precubical sets inside relational precubical sets (the combinatorial analogue of Euclidean locally ordered spaces), and an abstract proof of Kleene’s theorem obtained by defining manifold automata that interact well with concatenation.

Significance. If the central constructions are correct, the work supplies a uniform categorical framework that links combinatorial topology with directed spaces and automata theory, while furnishing a model-categorical perspective in which local manifold-like conditions become cofibrancy. The explicit use of coreflective subcategories and unique factorization systems to enforce local properties is a clear strength, as is the attempt to recover a classical theorem (Kleene) from the same formalism.

major comments (2)
  1. [§2.3] §2.3, Definition 2.12 and Theorem 2.15: the construction of the right adjoint (reflector) that produces the coreflective subcategory of objects satisfying the local property is stated to exist once a suitable unique factorization system is chosen, but the verification that the resulting reflector preserves the relational presheaf structure and that the unit is a natural isomorphism on the manifold objects is only sketched; this step is load-bearing for both the general claim and the subsequent applications.
  2. [§3.4] §3.4, Proposition 3.8: the claim that the Euclidean precubical sets form a coreflective subcategory of relational precubical sets is asserted after defining the local grid condition, yet the explicit description of the reflector (the “blow-up” or Euclideanization functor) and the proof that it is indeed right adjoint are not supplied in full; without this, the asserted analogy with directed topology remains formal.
minor comments (2)
  1. [§2] The notation for relational presheaves and the precise definition of “point” in the combinatorial setting should be recalled or referenced at the beginning of §2 to improve readability for readers outside the immediate subfield.
  2. [§4] In the Kleene-theorem application (§4), the definition of manifold automata and the concatenation operation would benefit from a small commutative diagram illustrating how the local manifold condition interacts with the Kleene star or concatenation.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments, which help clarify the exposition of our core constructions. We address each major point below and will revise the manuscript to provide fuller details where needed.

read point-by-point responses

  1. Referee: [§2.3] §2.3, Definition 2.12 and Theorem 2.15: the construction of the right adjoint (reflector) that produces the coreflective subcategory of objects satisfying the local property is stated to exist once a suitable unique factorization system is chosen, but the verification that the resulting reflector preserves the relational presheaf structure and that the unit is a natural isomorphism on the manifold objects is only sketched; this step is load-bearing for both the general claim and the subsequent applications.

    Authors: We agree that the verification in Theorem 2.15 is presented as a sketch rather than a fully expanded argument. In the revised version we will supply a complete proof: starting from the chosen unique factorization system we will explicitly construct the reflector on relational presheaves, verify that it lands again in the category of relational presheaves, and check that the unit of the adjunction is a natural isomorphism precisely on those objects that satisfy the local manifold condition. These additional steps will be written out with the same level of detail as the rest of §2. revision: yes

  2. Referee: [§3.4] §3.4, Proposition 3.8: the claim that the Euclidean precubical sets form a coreflective subcategory of relational precubical sets is asserted after defining the local grid condition, yet the explicit description of the reflector (the “blow-up” or Euclideanization functor) and the proof that it is indeed right adjoint are not supplied in full; without this, the asserted analogy with directed topology remains formal.

    Authors: We accept that the explicit construction of the Euclideanization (blow-up) functor and the full verification that it is right adjoint to the inclusion are only indicated rather than written out in Proposition 3.8. In the revision we will add a self-contained subsection that defines the functor on objects and morphisms, proves it preserves the relational structure, and establishes the adjunction by exhibiting the unit and counit together with the required triangle identities. This will make the parallel with the blow-up construction in directed topology fully explicit. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via standard categorical tools

full rationale

The paper defines a general construction of categories of combinatorial manifolds as coreflective subcategories of relational presheaves, relying on the existence of suitable unique factorization systems to capture local properties. This is a standard technique in category theory and does not reduce to any self-definition, fitted input renamed as prediction, or load-bearing self-citation. The two applications (euclidean precubical sets and manifold automata for Kleene's theorem) are presented as illustrations of the construction rather than independent derivations that loop back to the inputs. No equations or steps in the provided material exhibit the specific reductions required for a circularity finding, and the approach remains externally grounded in established model category and factorization system theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 3 invented entities

Ledger is inferred strictly from the abstract claims; full details on assumptions would require the manuscript.

axioms (1)
  • domain assumption Unique factorization systems exist in the relevant categories of relational presheaves and can be used to define coreflective subcategories
    Invoked as the key technical tool for the general construction of combinatorial manifolds.
invented entities (3)
  • combinatorial manifolds no independent evidence
    purpose: Objects satisfying a local property at every point, forming coreflective subcategories
    Central new objects defined by the general method.
  • euclidean precubical sets no independent evidence
    purpose: Precubical sets that locally resemble a grid of fixed dimension
    Specific instance of the general construction.
  • manifold automata no independent evidence
    purpose: Automata that behave well with respect to concatenation
    New definition introduced to give an abstract proof of Kleene's theorem.

pith-pipeline@v0.9.0 · 5695 in / 1360 out tokens · 58078 ms · 2026-05-21T01:29:22.901032+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · 1 internal anchor

  1. [1]

    ( year 2026 ): title Variants of Higher-Dimensional Automata

    author Hugo Bazille , author J \'e r \'e my Dubut , author Uli Fahrenberg et al. ( year 2026 ): title Variants of Higher-Dimensional Automata . journal arXiv preprint arXiv:2601.17537 . article balchin2019bousfield

    work page arXiv 2026

  2. [2]

    journal Applied Categorical Structures volume 27 ( number 1 ), pp

    author Scott Balchin & author Richard Garner ( year 2019 ): title Bousfield localisation and colocalisation of one-dimensional model structures . journal Applied Categorical Structures volume 27 ( number 1 ), pp. pages 1--21 . article bousfield1977constructions

    work page 2019

  3. [3]

    journal Journal of Pure and Applied Algebra volume 9 ( number 2-3 ), pp

    author Aldridge K Bousfield ( year 1977 ): title Constructions of factorization systems in categories . journal Journal of Pure and Applied Algebra volume 9 ( number 2-3 ), pp. pages 207--220 . article chamoun2025non

    work page 1977

  4. [4]

    Non-Hausdorff manifolds over locally ordered spaces via sheaf theory

    author Yorgo Chamoun & author Emmanuel Haucourt ( year 2025 ): title Non-Hausdorff manifolds over locally ordered spaces via sheaf theory . journal arXiv preprint arXiv:2505.12087 . book cisinski2019higher

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  5. [5]

    volume 180 , publisher Cambridge University Press

    author Denis-Charles Cisinski ( year 2019 ): title Higher categories and homotopical algebra . volume 180 , publisher Cambridge University Press . inproceedings chamoun2026realization

    work page 2019

  6. [6]

    In: booktitle International Conference on Foundations of Software Science and Computation Structures , organization Springer , pp

    author Yorgo Chamoun & author Samuel Mimram ( year 2026 ): title Realization of relational presheaves . In: booktitle International Conference on Foundations of Software Science and Computation Structures , organization Springer , pp. pages 178--197 . book fajstrup2016directed

    work page 2026

  7. [7]

    volume 138 , publisher Springer

    author Lisbeth Fajstrup , author Eric Goubault , author Emmanuel Haucourt , author Samuel Mimram & author Martin Raussen ( year 2016 ): title Directed algebraic topology and concurrency . volume 138 , publisher Springer . article grandis2003cubical

    work page 2016

  8. [8]

    journal Theory and Applications of Categories volume 11 ( number 8 ), pp

    author Marco Grandis & author Luca Mauri ( year 2003 ): title Cubical sets and their site. journal Theory and Applications of Categories volume 11 ( number 8 ), pp. pages 185--211 . article gabriel1971lokal

    work page 2003

  9. [9]

    journal Lecture Notes in Mathematics

    author Peter Gabriel & author Friedrich Ulmer ( year 1971 ): title Lokal pr \"a sentierbare Kategorien . journal Lecture Notes in Mathematics . article haucourt2025non

    work page 1971

  10. [10]

    journal Mathematical Structures in Computer Science volume 35 , p

    author Emmanuel Haucourt ( year 2025 ): title Non-Hausdorff parallelized manifolds over geometric models of conservative programs . journal Mathematical Structures in Computer Science volume 35 , p. pages e17 . book hovey2007model

    work page 2025

  11. [11]

    volume 63 , publisher American Mathematical Soc

    author Mark Hovey ( year 2007 ): title Model categories . volume 63 , publisher American Mathematical Soc. article rosenthal1991free

    work page 2007

  12. [12]

    journal Journal of Pure and Applied Algebra volume 72 ( number 1 ), pp

    author Kimmo I Rosenthal ( year 1991 ): title Free quantaloids . journal Journal of Pure and Applied Algebra volume 72 ( number 1 ), pp. pages 67--82 . book sakarovitch2009elements

    work page 1991

  13. [13]

    publisher Cambridge university press

    author Jacques Sakarovitch ( year 2009 ): title Elements of automata theory . publisher Cambridge university press . article sipser1996introduction

    work page 2009

  14. [14]

    journal ACM Sigact News volume 27 ( number 1 ), pp

    author Michael Sipser ( year 1996 ): title Introduction to the Theory of Computation . journal ACM Sigact News volume 27 ( number 1 ), pp. pages 27--29

    work page 1996