Abstract:Developing an idea of Kapranov and Voevodsky, we introduce a model of weak omega-categories based on directed complexes, combinatorial presentations of pasting diagrams. We propose this as a convenient framework for higher-dimensional rewriting. We define diagrammatic sets to be presheaves on a category of directed complexes presenting pasting diagrams with spherical boundaries. Diagrammatic sets have structural face and degeneracy operations, but no structural composition. We define a notion of equivalence cell in a diagrammatic set, and say that a diagrammatic set is representable if all pasting diagrams with spherical boundaries are connected to individual cells -- their weak composites -- by a higher-dimensional equivalence cell. We develop the basic theory of representable diagrammatic sets (RDSs), and prove that equivalence cells satisfy the expected properties in an RDS. We study nerves of strict omega-categories as RDSs and prove that 2-truncated RDSs are equivalent to bicategories. Finally, we connect the combinatorics of diagrammatic sets and simplicial sets, and prove a version of the homotopy hypothesis for "groupoidal" RDSs: there exists a geometric realisation functor for diagrammatic sets, inducing isomorphisms between combinatorial and classical homotopy groups, which has a homotopical right inverse.

Weak morphisms of higher dimensional automata

Topological abstraction of higher-dimensional automata

The homology graph of a higher dimensional automaton

Myhill-Nerode Theorem for Higher-Dimensional Automata

On incomplete lattice homomorphisms in subspaces of geometries: "half" a problem of Hartmanis from 1959

Kleene Theorem for Higher-Dimensional Automata

Logic and Languages of Higher-Dimensional Automata

Strictifying Operational Coherences and Weak Functor Classifiers in Low Dimensions

Closure and Decision Properties for Higher-Dimensional Automata

Bisimulations and Logics for Higher-Dimensional Automata

Representable diagrammatic sets as a model of weak higher categories

Conjugating trivial automorphisms of $\mathcal P(\mathbb N)/\mathrm{Fin}$

Weak and Nested Class Memory Automata

Homotopy coherent theorems of Dold-Kan type

A generalization of de Vries duality to closed relations between compact Hausdorff spaces

Degrees of Restriction for Two-Dimensional Automata

Contravariance through enrichment

Homotopy theory of pre-Calabi-Yau morphisms

Weakly holonomic equivariant $\mathcal{D}$-modules on rigid analytic spaces

The structure of generic automorphisms of the random poset

Higher-Order Pushdown Systems with Data