拓扑空间和开放映射范畴没有乘积

IF 1.5 1区数学 Q1 MATHEMATICS

Advances in Mathematics Pub Date : 2024-10-03 DOI:10.1016/j.aim.2024.109963

Guram Bezhanishvili , Andre Kornell

{"title":"拓扑空间和开放映射范畴没有乘积","authors":"Guram Bezhanishvili , Andre Kornell","doi":"10.1016/j.aim.2024.109963","DOIUrl":null,"url":null,"abstract":"<div><div>We prove that the category of topological spaces and open maps does not have binary products, thus resolving the Esakia problem in the negative. We also prove that the category of Kripke frames does not have binary products and that the category of complete Heyting algebras does not have binary coproducts.</div></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"458 ","pages":"Article 109963"},"PeriodicalIF":1.5000,"publicationDate":"2024-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"The category of topological spaces and open maps does not have products\",\"authors\":\"Guram Bezhanishvili , Andre Kornell\",\"doi\":\"10.1016/j.aim.2024.109963\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>We prove that the category of topological spaces and open maps does not have binary products, thus resolving the Esakia problem in the negative. We also prove that the category of Kripke frames does not have binary products and that the category of complete Heyting algebras does not have binary coproducts.</div></div>\",\"PeriodicalId\":50860,\"journal\":{\"name\":\"Advances in Mathematics\",\"volume\":\"458 \",\"pages\":\"Article 109963\"},\"PeriodicalIF\":1.5000,\"publicationDate\":\"2024-10-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Advances in Mathematics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S000187082400478X\",\"RegionNum\":1,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Advances in Mathematics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S000187082400478X","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}

引用次数: 0

摘要

我们证明拓扑空间和开映射范畴不存在二元积，从而以否定的方式解决了埃萨基亚问题。我们还证明了克里普克框架范畴不存在二元积，完整海廷代数范畴不存在二元共积。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

The category of topological spaces and open maps does not have products

We prove that the category of topological spaces and open maps does not have binary products, thus resolving the Esakia problem in the negative. We also prove that the category of Kripke frames does not have binary products and that the category of complete Heyting algebras does not have binary coproducts.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Advances in Mathematics 数学-数学

CiteScore

2.80

自引率

5.90%

发文量

497

审稿时长

7.5 months

期刊介绍： Emphasizing contributions that represent significant advances in all areas of pure mathematics, Advances in Mathematics provides research mathematicians with an effective medium for communicating important recent developments in their areas of specialization to colleagues and to scientists in related disciplines.