Cosheaves and connectedness in formal topology

[13] P. Johnstone, Open locales and exponentiation, Contemporary Mathematics
30 (1984) 84–116.
[14] A. Borel, J. Moore, Homology theory for locally compact spaces, Michigan
Mathematical Journal 7 (1960) 137–159.
[15] A. Pitts, On product and change of base for toposes, Cahiers de Topologie
Geométrie Différentielle Catégoriques 26 (1) (1985) 43–61.
[16] P. Johnstone, A. Joyal, Continuous categories and exponentiable toposes,
Journal of Pure and Applied Algebra 25 (1982) 255–296.
[17] P. Johnstone, Sketches of an Elephant: A Topos Theory Compendium, vol.
1, no. 44 in Oxford Logic Guides, Oxford University Press, 2002.
peer-00821313, version 1 - 9 May 2013
[18] S. Negri, S. Valentini, Tychonoff’s theorem in the framework of formal
topologies, Journal of Symbolic Logic 62(4) (1997) 1315–1332.
[19] G. Curi, Constructive metrizability in point-free topology, Theoretical
Computer Science 305 (2003) 85–109.
[20] I. Moerdijk, Continuous fibrations and inverse limits of toposes, Compositio
Mathematica 58 (1986) 45–72.
[21] S. Vickers, Constructive points of powerlocales, Mathematical Proceedings
of the Cambridge Philosophical Society 122 (1997) 207–222.
[22] J. Funk, The locally connected coclosure of a Grothendieck topos, Journal
of Pure and Applied Algebra 137 (1999) 17–27.
[23] P. Johnstone, Sketches of an Elephant: A Topos Theory Compendium, vol.
2, no. 44 in Oxford Logic Guides, Oxford University Press, 2002.
[24] S. Valentini, The problem of the formalization of constructive topology,
Archive for Mathematical Logic 44 (2005) 115–129.
[25] M. E. Maietti, S. Valentini, A structural investigation on formal topology:
Coreflection of formal covers and exponentiability, Journal of Symbolic
Logic 69 (2004) 967–1005.
[26] E. Palmgren, S. Vickers, Partial Horn logic and cartesian categories, Annals
of Pure and Applied Logic 145 (2007) 314–353.
[27] S. Mac Lane, Categories for the Working Mathematician, Springer-Verlag,
1971.
33