Weak morphisms of higher dimensional automata
Formal Languages and Automata Theory
2013-03-11 v1 Algebraic Topology
Abstract
We introduce weak morphisms of higher dimensional automata and use them to define preorder relations for HDAs, among which homeomorphic abstraction and trace equivalent abstraction. It is shown that homeomorphic abstraction is essentially always stronger than trace equivalent abstraction. We also define the trace language of an HDA and show that, for a large class of HDAs, it is invariant under trace equivalent abstraction.
Keywords
Cite
@article{arxiv.1303.2003,
title = {Weak morphisms of higher dimensional automata},
author = {Thomas Kahl},
journal= {arXiv preprint arXiv:1303.2003},
year = {2013}
}