On the lack of colimits in various categories arising in pointfree topology and algebraic logic
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866915860440940544 |
|---|---|
| author | Abbadini, Marco Bezhanishvili, Guram Carai, Luca |
| author_facet | Abbadini, Marco Bezhanishvili, Guram Carai, Luca |
| contents | We prove that the category of McKinsey-Tarski algebras is not equivalent to a variety of algebras, thus answering a question of Peter Jipsen in the negative. More generally, we show that various categories of BAOs (boolean algebras with an operator), Heyting algebras, and frames with appropriate morphisms between them are not cocomplete. As a consequence, none of these categories is equivalent to a prevariety, let alone a variety. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_07489 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On the lack of colimits in various categories arising in pointfree topology and algebraic logic Abbadini, Marco Bezhanishvili, Guram Carai, Luca Logic Category Theory 18C05, 08C05, 18F70, 06E25, 06D20, 06D22, 18F60 We prove that the category of McKinsey-Tarski algebras is not equivalent to a variety of algebras, thus answering a question of Peter Jipsen in the negative. More generally, we show that various categories of BAOs (boolean algebras with an operator), Heyting algebras, and frames with appropriate morphisms between them are not cocomplete. As a consequence, none of these categories is equivalent to a prevariety, let alone a variety. |
| title | On the lack of colimits in various categories arising in pointfree topology and algebraic logic |
| topic | Logic Category Theory 18C05, 08C05, 18F70, 06E25, 06D20, 06D22, 18F60 |
| url | https://arxiv.org/abs/2507.07489 |