Publicação
The homology graph of a precubical set
| Resumo: | Precubical sets are used to model concurrent systems. We introduce the homology graph of a precubical set, which is a directed graph whose nodes are the homology classes of the precubical set. We show that the homology graph is invariant under weak morphisms that are homeomorphisms. |
|---|---|
| Autores principais: | Kahl, Thomas |
| Assunto: | Higher dimensional automata Precubical set Homology graph Directed homology Homeomorphic abstraction |
| Ano: | 2014 |
| País: | Portugal |
| Tipo de documento: | artigo |
| Tipo de acesso: | acesso restrito |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| Resumo: | Precubical sets are used to model concurrent systems. We introduce the homology graph of a precubical set, which is a directed graph whose nodes are the homology classes of the precubical set. We show that the homology graph is invariant under weak morphisms that are homeomorphisms. |
|---|