Homological properties of non-deterministic branchings and mergings in higher dimensional automata - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Homology, Homotopy and Applications(HHA) Année : 2005

Homological properties of non-deterministic branchings and mergings in higher dimensional automata

Philippe Gaucher

Résumé

The branching (resp. merging) space functor of a flow is a left Quillen functor. The associated derived functor allows to define the branching (resp. merging) homology of a flow. It is then proved that this homology theory is a dihomotopy invariant and that higher dimensional branchings (resp. mergings) satisfy a long exact sequence.
Fichier non déposé

Dates et versions

hal-00150922 , version 1 (01-06-2007)

Identifiants

  • HAL Id : hal-00150922 , version 1

Citer

Philippe Gaucher. Homological properties of non-deterministic branchings and mergings in higher dimensional automata. Homology, Homotopy and Applications(HHA), 2005, 7 (1), pp.51-76. ⟨hal-00150922⟩
39 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More