Università degli Studi di Genova
The recent domain of directed algebraic topology studies 'directed spaces', where paths and homotopies cannot generally be reversed. The general aim is modelling non reversible phenomena, but the present applications are mostly concerned with the theories of concurrent processes and rewrite systems. At the place of the classical fundamental groupoid of a topological space, a directed space has a fundamental category, whose applications to concurrency have already been studied in many papers. Here, we want to study an infinite dimensional version of the fundamental category of a directed space, of a cubical type and more precisely a symmetric cubical one, because transposition symmetries occur naturally and simplify the coherence properties. We introduce a 'Moore' strict symmetric cubical category of a directed space X, with concatenation laws in the various directions and transpositions (which permute variables). On the other hand, standard cubes give a lax cubical structure, where concatenations are associative up to invertible reparametrisation but degeneracies are only lax-unital.
directed algebraic topology, space with distinguished paths, higher fundamental category, strict cubical category, cubical set.
Pubblicato su: Cahiers de Topologie et Geometrie Differentielle Categoriques Vol. 53 (2012) Pag. 115-156