Combinatorial manifolds and Kleene's theorem, homotopically
This work provides a unifying framework for combinatorial manifolds, with applications in directed topology and automata theory, but the results are primarily theoretical and incremental.
The authors develop a general method for constructing categories of combinatorial manifolds as coreflective subcategories of relational presheaves, using unique factorization systems. They apply this to build a category of euclidean precubical sets and to give an abstract proof of Kleene's theorem via manifold automata.
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.