Stone dualities from opfibrations

Stone dualities are dual equivalences between certain categories of algebras and those of topological spaces. A Stone duality is often derived from a dual adjunction between such categories by cutting down unnecessary objects. This dual adjunction is called the fundamental adjunction of the duality,...

Full description

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 127; p. 100773
Main Authors Nishizawa, Koki, Katsumata, Shin-ya, Komorida, Yuichi
Format Journal Article
LanguageEnglish
Published Elsevier Inc 01.06.2022
Subjects
Opfibration
Priestley duality
Stone duality
Stone duality
Priestley duality
Opfibration
Online AccessGet full text

Cover

More Information
Summary:Stone dualities are dual equivalences between certain categories of algebras and those of topological spaces. A Stone duality is often derived from a dual adjunction between such categories by cutting down unnecessary objects. This dual adjunction is called the fundamental adjunction of the duality, but building it often requires concrete topological arguments. The aim of this paper is to construct fundamental adjunctions generically using (op)fibered category theory. This paper defines an abstract notion of formal spaces (including ordinary topological spaces as the leading example), and gives a construction of a fundamental adjunction between the category of algebras and the category of corresponding formal spaces. Moreover, prove an Adjoint Lifting Theorem in the setting of near 2-fibrations, and construct the fundamental adjunction of Priestley duality.
ISSN:2352-2208
DOI:10.1016/j.jlamp.2022.100773