Fundamental results for pointfree convex geometry

DOI10.1016/j.apal.2010.05.002zbMath1232.52002OpenAlexW1980254898MaRDI QIDQ636383

Yoshihiro Maruyama

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2010.05.002

zbMATH Keywords

polytopedomain theoryconvex geometrycategorical dualitydual adjunctionpointfree geometry

Mathematics Subject Classification ID

Axiomatic and generalized convexity (52A01) Lattices and duality (06D50) Frames, locales (06D22) Continuous lattices and posets, applications (06B35)

Related Items

Chu duality theory and coalgebraic representation of quantum symmetries ⋮ Convex preferences: an abstract approach ⋮ Natural duality, modality, and coalgebra ⋮ Topological duality via maximal spectrum functor ⋮ Some further results on pointfree convex geometry ⋮ FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION ⋮ POINT-FREE GEOMETRY, OVALS, AND HALF-PLANES

Cites Work

• Brouwer meets Husserl. On the phenomenology of choice sequences
• Finitary formal topologies and Stone's representation theorem
• Space of valuations
• Hilbert's program. An essay on mathematical instrumentalism
• Sheaves in geometry and logic: a first introduction to topos theory
• The Pontryagin duality of compact O-dimensional semilattices and its applications
• Aspects of general topology in constructive set theory
• An intuitionistic proof of Tychonoff's theorem
• Continuous Lattices and Domains
• Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
• Category Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item