加载中…
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 categories of complete Heyting algebras and complete closure algebras do not have binary coproducts.

生成讲解博客的中文版本

生成AI智能校验的中文版本