高维自动机的标定同调
代数拓扑
2018-02-15 v2 形式语言与自动机理论
摘要
我们在高维自动机的立方同调上构造了标定同态，并证明它们关于立方双映射是自然的，且与 HDAs 的张量积相容。我们还指出了标定同调在并发理论中的两种可能应用。
引用
@article{arxiv.1703.07826,
title = {Labeled homology of higher-dimensional automata},
author = {Thomas Kahl},
journal= {arXiv preprint arXiv:1703.07826},
year = {2018}
}
备注
New introduction