Definable completeness
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 45 (2004) no. 4, pp. 243-266.
@article{CTGDC_2004__45_4_243_0,
     author = {Bunge, Marta and Jibladze, Mamumka and Streicher, Thomas},
     title = {Definable completeness},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {243--266},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {45},
     number = {4},
     year = {2004},
     zbl = {1067.18001},
     mrnumber = {2108193},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_2004__45_4_243_0/}
}
Bunge, Marta; Jibladze, Mamumka; Streicher, Thomas. Definable completeness. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 45 (2004) no. 4, pp. 243-266. http://www.numdam.org/item/CTGDC_2004__45_4_243_0/

[1] M. Barr and R. Paré. Molecular toposes. J. Pure Appl. Alg., 17:127-152, 1980. | MR 567064 | Zbl 0436.18002

[2] M. Bunge and J. Funk. Spreads and the symmetric topos. J. Pure Appl. Alg., 113:1-38, 1996. | MR 1411644 | Zbl 0861.18004

[3] M. Bunge, J. Funk, M. Jibladze, and T. Streicher. Distribution algebras and duality. Advances in Mathematics, 156:133-155, 2000. | MR 1800256 | Zbl 0971.18002

[4] R.H. Fox. Covering spaces with singularities. In R. H. Fox et al., editors, Algebraic Geometry and Topology: A Symposium in Honor of S. Lefschetz, pages 243 257. Princeton University Press, Princeton, 1957. | MR 123298 | Zbl 0079.16505

[5] J. Funk. The display locale of a cosheaf. Cahiers de Top. et Géom. Diff. Catégoriques, 36(1):53-93, 1995. | EuDML 91560 | Numdam | MR 1322801 | Zbl 0824.18005

[6] P.T. Johnstone. Topos Theory. Academic Press, Inc., London, 1977. | MR 470019 | Zbl 0368.18001

[7] P.T. Johnstone. Sketches of an Elephant: A Topos Theory Compendium. Clarendon Press, Oxford, 2002. | Zbl 1071.18001

[8] F.W. Lawvere. Intensive and extensive quantities. Notes for the lectures given at the workshop on Categorical Methods in Geometry, Aarhus, 1983.

[9] J.-L. Moens. Caracterisation des topos de faisceaux sur un site interne à un topos. PhD thesis, Univ. Louvain-la-Neuve, 1982.

[10] Thomas Streicher. Fibered categories à la Jean Benabou. Unpublished notes, 2003.