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

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