通过Esakia对偶性研究Heyting代数的余极限
Colimits of Heyting Algebras through Esakia Duality
AI总结：
本文通过推广Ghilardi构造自由Heyting代数的方法，研究Heyting代数的余极限及其在Esakia空间中的极限，同时证明Heyting代数的余分配性及 amalgamation性质。
摘要：
在本文中，我们推广Ghilardi构造自由Heyting代数生成有限分布格的方法，应用于任意分布格。范畴论上，这提供了Heyting代数在分布格范畴中的包含映射的左伴随的显式构造。这被证明在研究Heyting代数中具有多种应用，包括：(1) 通过duality理论，通过分布格和Priestley空间的描述，更具体地描述Heyting代数的余极限和Esakia空间的极限；(2) 允许Heyting代数的amalgamation性质及相关事实的直接证明；(3) 允许证明Heyting代数的范畴是余分配的。我们还研究了该构造在不同设定下的扩展和变体。首先，我们分析了一些Heyting代数的子变种，如布尔代数、KC和LC代数，并展示如何适应该构造。其次，我们研究了图像有限偏序集与p-映射的范畴与偏序集与单调映射的范畴之间的关系，显示上述思想的变体提供了适当的通用观念。
英文摘要：
In this note we generalize the construction, due to Ghilardi, of the free Heyting algebra generated by a finite distributive lattice, to the case of arbitrary distributive lattices. Categorically, this provides an explicit construction of a left adjoint to the inclusion of Heyting algebras in the category of distributive lattices This is shown to have several applications, both old and new, in the study of Heyting algebras: (1) it allows a more concrete description of colimits of Heyting algebras, as well as, via duality theory, limits of Esakia spaces, by knowing their description over distributive lattices and Priestley spaces; (2) It allows a direct proof of the amalgamation property for Heyting algebras, and of related facts; (3) it allows a proof of the fact that the category of Heyting algebras is co-distributive. We also study some generalizations and variations of this construction to different settings. First, we analyse some subvarieties of Heyting algebras -- such as Boolean algebras, $\mathsf{KC}$ and $\mathsf{LC}$ algebras, and show how the construction can be adapted to this setting. Second, we study the relationship between the category of image-finite posets with p-morphisms and the category of posets with monotone maps, showing that a variation of the above ideas provides us with an appropriate general idea.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
