Hofmann-Mislove through the Lenses of Priestley
G. Bezhanishvili, S. Melzer
TL;DR
This paper presents a novel proof of the Hofmann-Mislove Theorem utilizing Priestley duality, offering a new perspective on the theorem's foundational concepts.
Contribution
It introduces a new proof method for the Hofmann-Mislove Theorem based on Priestley duality, enhancing theoretical understanding.
Findings
New proof of Hofmann-Mislove Theorem using Priestley duality
Provides insights into the duality-based approach to lattice theory
Strengthens the connection between topology and order theory
Abstract
We use Priestley duality to give a new proof of the Hofmann-Mislove Theorem.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsQuantum Mechanics and Applications · History and advancements in chemistry · Homotopy and Cohomology in Algebraic Topology