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},
     mrnumber = {2108193},
     zbl = {1067.18001},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_2004__45_4_243_0/}
}
TY  - JOUR
AU  - Bunge, Marta
AU  - Jibladze, Mamumka
AU  - Streicher, Thomas
TI  - Definable completeness
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 2004
SP  - 243
EP  - 266
VL  - 45
IS  - 4
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://www.numdam.org/item/CTGDC_2004__45_4_243_0/
LA  - en
ID  - CTGDC_2004__45_4_243_0
ER  - 
%0 Journal Article
%A Bunge, Marta
%A Jibladze, Mamumka
%A Streicher, Thomas
%T Definable completeness
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 2004
%P 243-266
%V 45
%N 4
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_2004__45_4_243_0/
%G en
%F 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 | Zbl

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

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

[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 | Zbl

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

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

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

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