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

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

引用次数: 0

Abstract

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.

查看原文本刊更多论文

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

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

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

求助全文

约1分钟内获得全文求助全文

来源期刊

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.