2021/09/15 by Georgi Dimov, Dimov, G., Elza Ivanova-Dimova +3
Computer Science · Mathematics · #03G05 #06E15 #18A40 #18B30 #54C10 #54D45 #54E05 #54G05 #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #General Topology (math.GN) #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.2109.07172
openalex created_date 2020/08/07 · openalex publication_date 2021/09/15 · openalex updated_date 2026/07/28
Under a general categorical procedure for the extension of dual equivalences as presented in this paper's predecessor, a new algebraically defined category is established that is dually equivalent to the category \bf LKHaus of locally compact Hausdorff spaces and continuous maps, with the dual equivalence extending a Stone-type duality for the category of extremally disconnected locally compact Hausdorff spaces and continuous maps. The new category is then shown to be isomorphic to the category \bf CLCA of complete local contact algebras and suitable morphisms. Thereby, a new proof is presented for the equivalence \bf LKHaus≃\bf CLCA\rm op that was obtained by the first author more than a decade ago. Unlike the morphisms of \bf CLCA, the morphisms of the new category and their composition law are very natural and easy to handle.