Combinatorial manifolds and Kleene's theorem, homotopically

Yorgo Chamoun

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 s…