准粗致 Heyton 代数上的共形完成与均匀插值
逻辑
2026-04-14 v2 计算机科学中的逻辑
范畴论
摘要
本文表明，Ghilardi 和 Zawadowski 构造的 finitely presented Heyton 代数的 sheaf 表示，从代数角度等价于准粗致完成的构造。我们证明，准粗致 Heyton 代数的对偶范畴是一个初等广义正则范畴，其 ex/reg-完成正是上述 sheaf topos，我们称之为 K-拓扑。我们展示了某些均匀插值性质可推广至任意准粗致 Heyton 代数的上下文，且是 K-拓扑内部逻辑的推论。沿途我们也建立了 K-拓扑的各种范畴论性质。
引用
@article{arxiv.2604.08267,
title = {Coexact completion of profinite Heyting algebras and uniform interpolation},
author = {Lingyuan Ye},
journal= {arXiv preprint arXiv:2604.08267},
year = {2026}
}
备注
Provide a new citation for relevant information; fix a misunderstanding in the previous version