Heyting frames and Esakia duality

التفاصيل البيبلوغرافية
العنوان: Heyting frames and Esakia duality
المؤلفون: Bezhanishvili, Guram, Carai, Luca, Morandi, Patrick
سنة النشر: 2023
المجموعة: Mathematics
مصطلحات موضوعية: Mathematics - Logic, 06D20, 06D22, 18F70, 06E15
الوصف: We introduce the category of Heyting frames and show that it is equivalent to the category of Heyting algebras and dually equivalent to the category of Esakia spaces. This provides a frame-theoretic perspective on Esakia duality for Heyting algebras. We also generalize these results to the setting of Brouwerian algebras and Brouwerian semilattices by introducing the corresponding categories of Brouwerian frames and extending the above equivalences and dual equivalences. This provides a frame-theoretic perspective on generalized Esakia duality for Brouwerian algebras and Brouwerian semilattices.
نوع الوثيقة: Working Paper
URL الوصول: http://arxiv.org/abs/2302.07913
رقم الأكسشن: edsarx.2302.07913
قاعدة البيانات: arXiv