椭圆符号族的分类切除原理
计算机科学中的逻辑
2019-01-31 v1
摘要
我们为椭圆符号族发展了范畴化指标演算。我们所考虑的范畴化指标问题是传统问题的一种二级版本，传统问题是将 K 理论中的指标类用微分-拓扑数据表示。它们包括模空间的定向问题以及斜伴随与自伴随算符的类似问题。本文的主要结果是允许在不同流形上比较范畴化指标问题的切除原理。切除是实际解决定向问题的一项强力技术；应用见于配套论文 arXiv:1811.01096、arXiv:1811.02405 和 arXiv:1811.09658。
引用
@article{arxiv.1901.10820,
title = {A General Overview of Formal Languages for Individual-Based Modelling of Ecosystems},
author = {Mauricio Toro},
journal= {arXiv preprint arXiv:1901.10820},
year = {2019}
}
备注
arXiv admin note: text overlap with arXiv:1610.08171 by other authors