Spaces of directed paths on pre-cubical sets II

Classification of homotopy type (55P15) Loop spaces (55P35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Abstract: For a given pre-cubical set (

s q u a r e

--set)

K

with two distinguished vertices

,

, we prove that the space

of d-paths on the geometric realization of

K

with source

and target

is homotopy equivalent to its subspace

of tame d-paths. When

K

is the underlying

s q u a r e

--set of a Higher Dimensional Automaton

A

, tame d-paths on

K

represent step executions of

A

. Then, we define the cube chain category of

K

and prove that its nerve is weakly homotopy equivalent to

.

Review text

For a given precubical set \(K\) with two distinct vertices \(0\) and \(1\), the author proves that the space \(\vec{P}(K)_0^1\) of \(d\)-paths on the geometric realization of \(K\) with source \(0\) and target \(1\) is homotopy equivalent to its subspace \(\vec{P}'(K)_0^1\) of tame \(d\)-paths. When \(K\) is the underlying precubical set of a Higher Dimensional Automaton \(A\), tame \(d\)-paths on \(K\) represent step executions of \(A\). Then the author defines the cube chain category of \(K\) and proves that its nerve is weakly homotopy equivalent to \(\vec{P}(K)_0^1\).

Recommendations

Cites work

Cited in

(15)

This page was built for publication: Spaces of directed paths on pre-cubical sets II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2304017)