A constructive Galois connection between closure and interior
From MaRDI portal
Publication:4899177
DOI10.2178/jsl.7704150zbMath1275.03161arXiv1101.5896MaRDI QIDQ4899177
Giovanni Sambin, Francesco Ciraulo
Publication date: 7 January 2013
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1101.5896
reduction; Galois connection; closure operator; saturation; interior operator; intuitionistic version
03F55: Intuitionistic mathematics
06A15: Galois correspondences, closure operators (in relation to ordered sets)
Related Items
Positivity relations on a locale, The overlap algebra of regular opens, Embedding locales and formal topologies into positive topologies, Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
Cites Work