# 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.

#### Topics from this paper

#### 5 Citations

Factorizing the Top-Loc adjunction through positive topologies

- Mathematics, Computer Science
- ArXiv
- 2018

Embedding locales and formal topologies into positive topologies

- Mathematics, Computer Science
- Arch. Math. Log.
- 2018

#### References

SHOWING 1-10 OF 35 REFERENCES

From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics

- Mathematics, Computer Science
- From sets and types to topology and analysis
- 2005

Formal topologies on the set of first-order formulae

- Mathematics, Computer Science
- Journal of Symbolic Logic
- 2000

Separation Properties in Constructive Topology

- 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