Subject: categories: preprint : About the globular homology of higher dimensional automata (new version)

From: Philippe Gaucher <[email-masked]>
Date: Mon, 15 Jan 2001 11:35:44 +0100 (MET)

Bonjour, 

A new version of 
"About the globular homology of higher dimensional automata" 
is available at

http://www-irma.u-strasbg.fr/~gaucher/sglob.ps.gz
http://www-irma.u-strasbg.fr/~gaucher/sglob.pdf

Abstract : 

We introduce a new simplicial nerve of higher dimensional automata
whose simplicial homology groups shifted by one yield a new definition
of the globular homology.  With this new definition, the drawbacks
noticed with the construction of \cite{Gau} disappear. Moreover the
important morphisms which associate to every globe its corresponding
branching area and merging area of execution paths become morphisms of
simplicial sets.

Comment : revised and augmented version