Definable completeness

Marta Bunge; Mamumka Jibladze; Thomas Streicher

Cahiers de Topologie et Géométrie Différentielle Catégoriques (2004)

  • Volume: 45, Issue: 4, page 243-266
  • ISSN: 1245-530X

How to cite

top

Bunge, Marta, Jibladze, Mamumka, and Streicher, Thomas. "Definable completeness." Cahiers de Topologie et Géométrie Différentielle Catégoriques 45.4 (2004): 243-266. <http://eudml.org/doc/91685>.

@article{Bunge2004,
author = {Bunge, Marta, Jibladze, Mamumka, Streicher, Thomas},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
language = {eng},
number = {4},
pages = {243-266},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Definable completeness},
url = {http://eudml.org/doc/91685},
volume = {45},
year = {2004},
}

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
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 45
IS - 4
SP - 243
EP - 266
LA - eng
UR - http://eudml.org/doc/91685
ER -

References

top
  1. [1] M. Barr and R. Paré.Molecular toposes. J. Pure Appl. Alg., 17:127-152, 1980. Zbl0436.18002MR567064
  2. [2] M. Bunge and J. Funk.Spreads and the symmetric topos. J. Pure Appl. Alg., 113:1-38, 1996. Zbl0861.18004MR1411644
  3. [3] M. Bunge, J. Funk, M. Jibladze, and T. Streicher.Distribution algebras and duality. Advances in Mathematics, 156:133-155, 2000. Zbl0971.18002MR1800256
  4. [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 243257. Princeton University Press, Princeton, 1957. Zbl0079.16505MR123298
  5. [5] J. Funk.The display locale of a cosheaf. Cahiers de Top. et Géom. Diff. Catégoriques, 36(1):53-93, 1995. Zbl0824.18005MR1322801
  6. [6] P.T. Johnstone.Topos Theory. Academic Press, Inc., London, 1977. Zbl0368.18001MR470019
  7. [7] P.T. Johnstone.Sketches of an Elephant: A Topos Theory Compendium. Clarendon Press, Oxford, 2002. Zbl1071.18001
  8. [8] F.W. Lawvere.Intensive and extensive quantities. Notes for the lectures given at the workshop on Categorical Methods in Geometry, Aarhus, 1983. 
  9. [9] J.-L. Moens.Caracterisation des topos de faisceaux sur un site interne à un topos. PhD thesis, Univ. Louvain-la-Neuve, 1982. 
  10. [10] Thomas Streicher.Fibered categories à la Jean Benabou. Unpublished notes, 2003. 

NotesEmbed ?

top

You must be logged in to post comments.