PreprintarXiv licencearXiv
Track objects in cubical presheaf automata
Abstract
Using the formalism of presheaf automata, we introduce new classes of automata for modelling concurrency that extend higher-dimensional automata and symmetric higher-dimensional automata. We study their languages and characterise these languages in terms of posetal cospans.
Related
- Presheaf structures governed by oriented matroids and pseudohyperplane arrangements
- Deformation cones of 2-cubical combinatorial zonotopes
- Boundary Dynamics, Cubical Actions, and Infinite Girth
- A cubical approach to homology theories for hypergraphs
- Cartan calculus of cubical forms in tangent categories
BibTeX
@misc{struth2026track,
title = {{Track objects in cubical presheaf automata}},
author = {Georg Struth and Krzysztof Ziemiański},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.16376},
eprint = {2610.16376},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.16376},
}
RIS
TY - UNPB
TI - Track objects in cubical presheaf automata
AU - Georg Struth
AU - Krzysztof Ziemiański
PY - 2026
DA - 2026/10/12
PB - arXiv
DO - 10.48550/arxiv.2610.16376
UR - https://arxiv.org/abs/2610.16376
AB - Using the formalism of presheaf automata, we introduce new classes of automata for modelling concurrency that extend higher-dimensional automata and symmetric higher-dimensional automata. We study their languages and characterise these languages in terms of posetal cospans.
ER -