Stone Dualities from Opfibrations

DOI10.1007/978-3-030-43520-2_14OpenAlexW3013164250MaRDI QIDQ5098723

Yuichi Komorida, Koki Nishizawa, Shin-ya Katsumata

Publication date: 30 August 2022

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-43520-2_14

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Stone dualities from opfibrations

Cites Work

• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Stone coalgebras
• Factorization, fibration and torsion
• A couple of triples
• Categorical logic and type theory
• 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
• Unnamed Item
• 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