Combinatorial manifolds and Kleene's theorem, homotopically
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910240658685952 |
|---|---|
| author | Chamoun, Yorgo |
| author_facet | Chamoun, Yorgo |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_21142 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Combinatorial manifolds and Kleene's theorem, homotopically Chamoun, Yorgo Category Theory Formal Languages and Automata Theory 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. |
| title | Combinatorial manifolds and Kleene's theorem, homotopically |
| topic | Category Theory Formal Languages and Automata Theory |
| url | https://arxiv.org/abs/2605.21142 |