中文

半可加性范畴非可加表示的(共)同调消失

计算与语言 2026-04-06 v3

摘要

我们证明了在满足某些条件的半可加性范畴上的加法函数的线性化与向量空间范畴之间,高阶扩展群和 torsion群的消失。在此基础上,我们将结果应用于Bouc-Th\'evenaz的对应函数组合范畴。

关键词

引用

@article{arxiv.2507.19315,
  title  = {AutoPCR: Automated Phenotype Concept Recognition by Prompting},
  author = {Yicheng Tao and Yuanhao Huang and Yiqun Wang and Xin Luo and Jie Liu},
  journal= {arXiv preprint arXiv:2507.19315},
  year   = {2026}
}

备注

Accepted at ISMB 2026 (Proceedings)