Exponentiability and single universes

Journal of Pure and Applied Algebra

Volumn 148, Issue 3, 2000, Pages 217-250

  Bunge, Marta ^a   Niefield, Susan ^b  

^a MCGILL UNIVERSITY   (Canada)

^b UNION COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034600115     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(98)00172-8     Document Type: Article

References (39)

1. M. Barr, R. Paré, Molecular toposes, J. Pure Appl. Algebra 17 (1980) 127-152.
2. G.J. Bird, Limits in 2-categories of Locally-presented Categories, Ph.D. Thesis, University of Sydney, 1984.
3. M. Bunge, Stack completions and Morita equivalence for categories in a topos, Cahiers de Top. et Géom. Diff. Catégoriques 20 (1979) 401-436.
4. M. Bunge, Cosheaves and distributions on toposes, Algebra Universalis 34 (1995) 469-484.
5. M. Bunge, A. Carboni, The symmetric topos, J. Pure Appl. Algebra 105 (1995) 233-249.
6. M. Bunge, J. Funk, Spreads and the symmetric topos, J. Pure Appl. Algebra 113 (1996) 1-38.
7. M. Bunge, J. Funk, Spreads and the symmetric topos II, J. Pure Appl. Algebra 130 (1998) 49-84.
8. M. Bunge, J. Funk, On a bicomma object condition for KZ-doctrines, J. Pure Appl. Algebra 143 (1999) 69-105.
9. A. Carboni, P.T. Johnstone, Connected limits, familial representability and Artin glueing, Math. Struct. Comput. Sci. 5 (1995) 441-449.
10. F. Conduché, Au sujet de l'existence d'adjoints à droite aux foncteurs "image réciproque" dans la catégorie des catégories, C.R. Acad. Sci. Paris 275 (1972) A891-894.
11. B.J. Day, G.M. Kelly, On topological quotients preserved by pullback or products, Proc. Cambridge Phil. Soc. 67 (1970) 553-558.
12. R.H. Fox, On topologies for function spaces, Bull. Amer. Math. Soc. 51 (1945) 429-432.
13. R.H. Fox, Covering spaces with singularities, in: Algebraic Geometry and Topology: A Symposium in Honor of S. Lefschetz, Princeton University Press, Princeton, NJ, 1957, pp. 243-257.
14. J. Funk, The display locale of a cosheaf, Cahiers de Top. et Géom. Diff. Catégoriques 36 (1) (1995) 53-93.
15. J. Funk, The locally connected coclosure of a Grothendieck topos, J. Pure Appl. Algebra 137 (1999) 17-27.
16. J. Giraud, Méthode de la descente, Bull. Math. Soc. France, Memoire 2 (1964).
17. A. Grothendieck, Catégories fibrées et descente, Séminaire de Géométrie Algébrique de l'IHES, 1961.
18. K.H. Hofmann, J.D. Lawson, The spectral theory of distributive continuous lattices, Trans. Amer. Math. Soc. 246 (1978) 285-310.
19. J.M.E. Hyland, Function spaces in the category of locales, Lecture Notes in Math., vol. 871, Springer, Berlin, 1981, pp. 264-281.
20. P.T. Johnstone, Topos Theory, Academic Press, New York, 1977.
21. P.T. Johnstone, Fibrations and partial products in a 2-category, Appl. Categorical Structures 1 (1993) 141-179.
22. P.T. Johnstone, A Note on Discrete Conduché Fibrations, preprint.
23. Peter Johnstone, André Joyal, Continuous categories and exponentiable toposes, J. Pure Appl. Algebra 25 (1982) 255-296.
24. F.W. Lawvere, Integration on Presheaf Toposes, Proc. Meeting Oberwolfach, 1967.
25. F.W. Lawvere, Extensive and intensive quantities, Workshop on Categorical Methods in Geometry, Aarhus, 1983.
26. F.W. Lawvere, State Categories and Response Functors, Unpublished, 1986.
27. S. Mac Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics, vol. 5, Springer, Berlin, 1971.
28. E. Michael, Cuts, Acta Math. 111 (1964) 1-36.
29. I. Moerdijk, Continuous fibrations and inverse limits of toposes, Composit. Math. 58 (1986) 45-72.
30. S.B. Niefield, Cartesianness, Ph.D. Thesis, Rutgers University, 1978.
31. S.B. Niefield, Cartesian inclusions: Locales and toposes, Comm. Algebra 9 (16) (1981) 1639-1671.
32. S.B. Niefield, Cartesianness topological spaces, uniform spaces, and affine schemes, J. Pure Appl. Algebra 23 (1982) 147-167.
33. S.B. Niefield, Cartesian spaces over T and locales over Ω(T), Cahiers de Top. et Géom. Diff. Catégoriques 23 (3) (1982) 257-267.
34. R. Street, Fibrations and Yoneda's lemma in a 2-category, Lecture Notes in Math., vol. 420, Springer, Berlin, 1974, pp. 104-133.
35. R. Street, Categorical structures, in: M. Hazewinkel (Ed.), Handbook of Algebra, vol. 1, Elsevier, Amsterdam, 1986, pp. 529-577.
36. R. Street, R.F.C. Walters, The comprehensive factorization of a functor, Bull. Amer. Math. Soc. 79 (1979) 936-941.
37. A.W. Tucker, Branched and folded coverings, Bull. Amer. Math. Soc. 42 (1936) 859-862.
38. G.C. Wraith, Artin glueing, J. Pure Appl. Algebra 4 (1974) 345-348.
39. S.B. Niefield, Exponentiable Morphisms: Posets, Spaces, and Toposes, in preparation.