Stone dualities from opfibrations

DOI10.1016/J.JLAMP.2022.100773OpenAlexW4220980046MaRDI QIDQ2141291

Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida

Publication date: 25 May 2022

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2022.100773

zbMATH Keywords

Priestley dualityopfibrationstone duality

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Fibred 2-categories and bicategories
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Stone coalgebras
• A couple of triples
• Categorical logic and type theory
• Some properties of Fib as a fibred \(2\)-category
• Lattices and ordered algebraic structures
• Chu I: cofree equivalences, dualities and *-autonomous categories
• Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad
• General Functorial Semantics, I
• The point of pointless topology
• Stone Dualities from Opfibrations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Stone dualities from opfibrations