Stone dualities from opfibrations

• Published in: Journal of logical and algebraic methods in programming Vol. 127; p. 100773
• Main Authors: Nishizawa, Koki, Katsumata, Shin-ya, Komorida, Yuichi
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.06.2022
• Subjects: Opfibration; Priestley duality; Stone duality; Stone duality; Priestley duality; Opfibration

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,...