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.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.