{"id":"arxiv/2610.16376","url":"https://arxiv.org/abs/2610.16376","tags":["cs.FL","math.CT"],"score":0,"title":"Track objects in cubical presheaf automata","domain":"cs.FL","source":"arxiv","authors":["Georg Struth","Krzysztof Ziemiański"],"reviews":0,"subject":"cs.FL","summary":"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.","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-12","reactions":{}}