Distribution algebras and duality

Advances in Mathematics

Volumn 156, Issue 1, 2000, Pages 133-155

  Bunge, Marta ^a   Funk, Jonathon ^b   Jibladze, Mamuka ^c,d   Streicher, Thomas ^e  

^a MCGILL UNIVERSITY   (Canada)

^b UNIVERSITY OF SASKATCHEWAN   (Canada)

^c UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

^d A RAZMADZE MATHEMATICAL INSTITUTE   (Georgia)

^e DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034393284     PISSN: 00018708     EISSN: None     Source Type: Journal    
DOI: 10.1006/aima.2000.1947     Document Type: Article

References (25)

1. M. Barr and R. Paré, Molecular toposes, J. Pure Appl. Algebra 17 (1980), 127-152.
2. J. Beck, "Triples, Algebras, and Cohomology," Ph.D. thesis, Columbia University, 1967.
3. J. Bénabou, Fibred categories and the foundations of naive category theory, J. Symbolic Logic 50 (1985), 10-37.
4. G. J. Bird, "Limits in 2-categories of Locally Presented Categories," Ph.D. thesis, University of Sydney, 1984.
5. M. Bunge, Cosheaves and distributions on toposes, Algebra Univ. 34 (1995), 233-249.
6. M. Bunge and A. Carboni, The symmetric topos, J. Pure Appl. Algebra 105 (1995), 233-249.
7. M. Bunge and J. Funk, Spreads and the symmetric topos, J. Pure Appl. Algebra 113 (1996), 1-38.
8. M. Bunge and J. Funk, Spreads and the symmetric topos II, J. Pure Appl. Algebra 130 (1998), 49-84.
9. M. Bunge and J. Funk, On a bicomma object condition for KZ-doctrines, J. Pure Appl. Algebra 143 (1999), 69-105.
10. R. H. Fox, Covering spaces with singularities, in "Algebraic Geometry and Topology: A Symposium in Honor of S. Lefschetz" (R. H. Fox et al., Eds.), pp. 243-257, Princeton University Press, Princeton, 1957.
11. J. Funk, "Descent for Cocomplete Categories," Ph.D. thesis, McGill University, 1990.
12. J. Funk, The display locale of a cosheaf, Cahiers Topologie Géom. Différentiele Catég. 36 (1995), 53-93.
13. P. T. Johnstone, "Topos Theory," Academic Press, San Diego, 1977.
14. P. T. Johnstone, Open maps of toposes, Manuscripta Math. 31 (1980), 217-247.
15. A. Kock, Some problems and results in synthetic functional analysis,in "Category Theoretic Methods in Geometry" (A. Kock, Ed.), Various Publications Series, Vol. 35, pp. 168-191, Matematisk Institut, Aarhus Universiteit, 1983.
16. A. Kock and G. E. Reyes, Relatively on Boolean and de Morgan toposes and locales, Cahiers Topologie Géom. Différentiele Catég. 35 (1994), 249-261.
17. F. W. Lawvere, Equality in hyperdoctrines and comprehension schema as an adjoint functor, Proc. Symposia Pure Math. Amer. Math. Soc. 17, 1-14.
18. F. W. Lawvere, "Entensive and intensive quantities," Lectures Given at the Workshop on Categorical Methods in Geometry, Aarhus, 1983.
19. F. W. Lawvere, Categories of space and quantity, in "The Space of Mathematics" (J. Echeverría et al., Eds.), pp. 14-30, de Gruyter, Berlin, 1992.
20. C.-J. Mikkelsen, "Lattice Theoretic and Logical Aspects of Elementary Topoi," Ph.D. thesis, Various Publications Series, Vol. 25, Matematisk Institut, Aarhus Universiteit, 1976.
21. J.-L. Moens, "Charactérisation des Topos de Faisceaux sur un Site Interne à un Topos," Ph.D. thesis, Univ. Cath. Louvain-la-Neuve, 1982.
22. R. Paré, Colimits in Topoi, Bull. Amer. Math. Soc. 80 (1974), 556-561.
23. R. Paré and D. Schumacher, Abstract families and the adjoint functor theorems, in "Indexed Categories and Their Applications" (P. T. Johnstone and R. Paré, Eds.), Lecture Notes in Mathematics, Vol. 661, pp. 1-125, 1978.
24. A. M. Pitts, On product and change of base for toposes, Cahiers Topologie Géom. Différentiele Catég. 26 (1985), 43-61.
25. G. Rosolini, "Continuity and Effectiveness in Topoi," Ph.D. thesis, University of Oxford, 1986.