A constructive Galois connection between closure and interior

@article{Ciraulo2012ACG,
  title={A constructive Galois connection between closure and interior},
  author={Francesco Ciraulo and G. Sambin},
  journal={The Journal of Symbolic Logic},
  year={2012},
  volume={77},
  pages={1308 - 1324}
}
Abstract We construct a Galois connection between closure and interior operators on a given set. All arguments are intuitionistically valid. Our construction is an intuitionistic version of the classical correspondence between closure and interior operators via complement. 
5 Citations
Reducibility, a constructive dual of spatiality
Positivity relations on a locale
Factorizing the Top-Loc adjunction through positive topologies
Embedding locales and formal topologies into positive topologies

References

SHOWING 1-10 OF 35 REFERENCES
Inductively generated formal topologies
From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics
The overlap algebra of regular opens
Formal topologies on the set of first-order formulae
Some points in formal topology
  • G. Sambin
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
  • 2003
Separation Properties in Constructive Topology
  • Peter Aczel, C. Fox
  • Computer Science, Mathematics
  • From sets and types to topology and analysis
  • 2005
Some points informal topology
  • Theoretical Computer Science, vol. 305
  • 2003
Sambin Generating positivity by coinduction Some points in formal topology
  • Categories for the Working Mathematician
  • 1998
STONE SPACES (Cambridge Studies in Advanced Mathematics 3)
...
1
2
3
4
...