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

IF 16.4 1区化学 Q1 CHEMISTRY, MULTIDISCIPLINARY

Accounts of Chemical Research 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":1,"journal":{"name":"Accounts of Chemical Research","volume":null,"pages":null},"PeriodicalIF":16.4000,"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\":1,\"journal\":{\"name\":\"Accounts of Chemical Research\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":16.4000,\"publicationDate\":\"2024-10-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Accounts of Chemical Research\",\"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\":\"CHEMISTRY, MULTIDISCIPLINARY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Accounts of Chemical Research","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":"CHEMISTRY, MULTIDISCIPLINARY","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.

求助全文

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

来源期刊

Accounts of Chemical Research 化学-化学综合

CiteScore

31.40

自引率

1.10%

发文量

312

审稿时长

2 months

期刊介绍： Accounts of Chemical Research presents short, concise and critical articles offering easy-to-read overviews of basic research and applications in all areas of chemistry and biochemistry. These short reviews focus on research from the author’s own laboratory and are designed to teach the reader about a research project. In addition, Accounts of Chemical Research publishes commentaries that give an informed opinion on a current research problem. Special Issues online are devoted to a single topic of unusual activity and significance. Accounts of Chemical Research replaces the traditional article abstract with an article "Conspectus." These entries synopsize the research affording the reader a closer look at the content and significance of an article. Through this provision of a more detailed description of the article contents, the Conspectus enhances the article's discoverability by search engines and the exposure for the research.