通过 Esakia 对偶性构造 Heyting 代数的余极限

在本文中，我们将 Ghilardi 提出的由有限分配格生成的自由 Heyting 代数的构造推广到任意分配格的情形。从范畴论角度看，这为 Heyting 代数包含于分配格范畴中的包含函子提供了一个左伴随的显式构造。这在 Heyting 代数的研究中具有若干新旧应用：(1) 通过了解分配格和 Priestley 空间上的描述，它允许对 Heyting 代数的余极限以及（通过对偶理论）Esakia 空间的极限给出更具体的描述；(2) 它允许直接证明 Heyting 代数的融合性质及相关事实；(3) 它允许证明 Heyting 代数范畴是余分配的。我们还研究了该构造在不同设置下的若干推广与变体。首先，我们分析了 Heyting 代数的一些子簇——如布尔代数、$\mathsf{KC}$ 和 $\mathsf{LC}$ 代数，并展示了如何将该构造调整以适用于此设置。其次，我们研究了具有 p-态射的像有限偏序集范畴与具有单调映射的偏序集范畴之间的关系，表明上述思想的变体为我们提供了一个合适的通用概念。