4 citations · 4 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.AT2021
Configuration spaces and directed paths on the final precubical set
Jakub Paliga, Krzysztof Ziemiański
The main goal of this paper is to prove that the space of directed loops on the final precubical set is homotopy equivalent to the "total" configuration space of points on the plan…
cs.FL2021
Languages of Higher-Dimensional Automata
Uli Fahrenberg, Christian Johansen, Georg Struth +1
We introduce languages of higher-dimensional automata (HDAs) and develop some of their properties. To this end, we define a new category of precubical sets, uniquely naturally isom…