Heyting 模的同调代数
范畴论
2021-02-08 v2
摘要
拓扑空间的开集全体构成一个 Heyting 代数，这引出了将 Heyting 代数视为广义拓扑空间的思想。事实上，一个 sober 拓扑空间可由其开集的 locale 重构。这催生了关于 locale 上的预层与层的一套良好理论。与此同时，Heyting 代数的若干类环性质也得到了研究。本文旨在研究 Heyting 代数上模的非 Abel 同调理论。
引用
@article{arxiv.1812.06242,
title = {Homological Algebra of Heyting modules},
author = {Abhishek Banerjee},
journal= {arXiv preprint arXiv:1812.06242},
year = {2021}
}