Etale algebras over finite Heyting algebras
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917823898451968 |
|---|---|
| author | Evgeny, Kuznetsov |
| author_facet | Evgeny, Kuznetsov |
| contents | In this paper, we investigate the concept of local homeomorphism in Esakia spaces. We introduce the notion of etale Heyting H-algebra and establish category-theoretic duality for etale Heyting H-algebra in the case of finite Heyting algebra H. Furthermore, we give an identity that axiomatizes the variety of etale Heyting H-algebras when H is finite. We also show that the category of Stone space-valued (co)presheaves over a finite Esakia space X is equivalent to the slice category of local homeomorphisms over X. The fact is used to show that, in comparison with the case of general Heyting H-algebras, it is easier to compute finite colimits in the category of etale Heyting H-algebras. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_23442 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Etale algebras over finite Heyting algebras Evgeny, Kuznetsov Logic Category Theory In this paper, we investigate the concept of local homeomorphism in Esakia spaces. We introduce the notion of etale Heyting H-algebra and establish category-theoretic duality for etale Heyting H-algebra in the case of finite Heyting algebra H. Furthermore, we give an identity that axiomatizes the variety of etale Heyting H-algebras when H is finite. We also show that the category of Stone space-valued (co)presheaves over a finite Esakia space X is equivalent to the slice category of local homeomorphisms over X. The fact is used to show that, in comparison with the case of general Heyting H-algebras, it is easier to compute finite colimits in the category of etale Heyting H-algebras. |
| title | Etale algebras over finite Heyting algebras |
| topic | Logic Category Theory |
| url | https://arxiv.org/abs/2410.23442 |