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
Access Full Article
topHow to cite
topReferences
top- [1] M. Barr and R. Paré.Molecular toposes. J. Pure Appl. Alg., 17:127-152, 1980. Zbl0436.18002MR567064
- [2] M. Bunge and J. Funk.Spreads and the symmetric topos. J. Pure Appl. Alg., 113:1-38, 1996. Zbl0861.18004MR1411644
- [3] M. Bunge, J. Funk, M. Jibladze, and T. Streicher.Distribution algebras and duality. Advances in Mathematics, 156:133-155, 2000. Zbl0971.18002MR1800256
- [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] 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] P.T. Johnstone.Topos Theory. Academic Press, Inc., London, 1977. Zbl0368.18001MR470019
- [7] P.T. Johnstone.Sketches of an Elephant: A Topos Theory Compendium. Clarendon Press, Oxford, 2002. Zbl1071.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.