Heyting值模型之间的诱导同态
摘要：关于完全Heyting代数在它们上的态射对Heyting值模型的影响，我们目前知道的很少，文献中只有关于完全布尔代数的自同构和它们之间的完全嵌入的情况。本研究考虑并探讨了在完全Heyting代数$mathbb{H}$和$mathbb{H}'$之间的更一般的态射是如何诱导出箭头$V^{(mathbb{H})}$和$V^{(mathbb{H}')}$之间的，并且它们对应的局部拓扑学的拓扑学。具体而言，任何几何态射$f^* : mathbf{Set}^{(mathbb{H})} o mathbf{Set}^{(mathbb{H'})}$（自动来自唯一的local morphism $f : mathbb{H} o mathbb{H}'$），都可以“提升”为一个箭头$ ilde{f} : V^{(mathbb{H})} o V^{(mathbb{H}')}$。我们还提供了关于这个箭头$ ilde{f} : V^{(mathbb{H})} o V^{(mathbb{H}')}$的一些语义保存结果。
作者：Jos''e Goudet Alvim, Arthur Francisco Schwerz Cahali, Hugo Luiz Mariano
论文ID：1910.08193
分类：Category Theory
分类简称：math.CT
提交时间：2021-11-03