About the globular homology of higher dimensional automata
Produit tensoriel de matrices, homologie cyclique, homologie des algèbres de Lie
On munit, naturellement, d’un surproduit l’algèbre extérieure de l’homologie cyclique d’une -algèbre commutative ( étant un corps de caractéristique zéro) à l’aide du produit de Loday-Quillen. On munit d’un surproduit l’homologie de l’algèbre de Lie du groupe linéaire général de à l’aide du produit tensoriel de matrices. On montre que l’isomorphisme d’algèbres de Hopf de Loday-Quillen est compatible avec les surproduits définis ci-dessus. On obtient ainsi une interprétation du produit de Loday-Quillen,...
The branching nerve of HDA and the Kan condition.
Combinatorics of branchings in higher dimensional automata.
-homotopy and refinement of observation. II: Adding new -homotopy equivalences.
Comparing globular complex and flow.
Inverting weak dihomotopy equivalence using homotopy continuous flow.
T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies.
Homotopical interpretation of globular complex by multipointed d-space.
T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type.
Globular realization and cubical underlying homotopy type of time flow of process algebra.
A model category for the homotopy theory of concurrency.
Homological properties of non-deterministic branchings of mergings in higher dimensional automata.
Topological deformation of higher dimensional automata.
Page 1