Spreads and the symmetric topos II

Journal of Pure and Applied Algebra

Volumn 130, Issue 1, 1998, Pages 49-84

  Bunge, M ^a   Funk, J ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032575402     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(97)00086-8     Document Type: Article

References (19)

1. [1] M. Barr, R. Diaconescu, On locally simply connected toposes and their fundamental groups, Cahiers de Top. et Géom. Diff. Catégoriques, 22 (3) (1981) 301-314.
2. [2] M. Barr, R. Paré, Molecular toposes, J. Pure Appl. Alg. 17 (1980) 127-152.
3. [3] M. Bunge, Stack completions and Monta equivalence for categories in a topos, Cahiers de Top. et Géom, Diff. Catégoriques 20 (4) (1979) 401-436.
4. [4] M. Bunge, Cosheaves and distributions on toposes, Algebra Universal, 34 (1995) 469-484.
5. [5] M. Bunge, A. Carboni, The symmetric topos, J. Pure Appl. Alg. 105 (1995) 233-249.
6. [6] M. Bunge, J. Funk, Spreads and the symmetric topos, J. Pure Appl. Alg. 113 (1996) 1-38.
7. [7] M. Bunge, I. Moerdijk, On the construction of the Grothendieck fundamental group of a topos by paths, J. Pure Appl. Alg. 116 (1997) 99-113.
8. [8] R.H. Fox, Covering spaces with singularities, in: R.H. Fox et al. (Eds.), Algebraic Geometry and Topology: A Symposium in Honor of S. Lefschetz, Princeton University Press, Princeton, 1957, pp. 243-257.
9. [9] J. Funk, Descent for cocomplete categories, Ph.D. Thesis, McGill University, 1990.
10. [10] J. Funk, The display locale of a cosheaf, Cahiers de Top. et Géom. Diff. Catégoriques 36 (1) (1995) 53-93.
11. [11] P.T. Johnstone, Partial products, bagdomains and hyperlocal toposes, in: M.P. Fourman, P.T. Johnstone, A.M. Pitts (Eds.), Applications of Categories in Computer Science, London Mathematical Society Lecture Notes Series 177, Cambridge University Press, Cambridge, 1992, pp. 315-339.
12. [12] A. Kock, Some problems and results in synthetic functional analysis, in: A. Kock (Ed.), Category Theoretic Methods in Geometry, Aarhus, Matematisk Institut, Aarhus Universitet, Various Publications Series 35, 1983, pp. 168-191.
13. [13] F.W. Lawvere, Equality in hyperdoctrines and the comprehension schema as an adjoint functor, in: Proc. Symp. Pure Math. 17, Amer. Math. Soc., 1968, pp. 1-14.
14. [14] F.W. Lawvere, Entensive and extensive quantities, Notes for the lectures given at the workshop on Categorical Methods in Geometry, Aarhus, 1983.
15. [15] F.W, Lawvere, Categories of space and of quantity, in: J. Echeverria et al. (Eds.), The Space of Mathematics, W. de Gruyter, Berlin, pp. 14-30.
16. [16] A.M. Pitts, On product and change of base for toposes, Cahiers de Top, et Géom. Diff. Catégoriques, 26 (1) (1985)43-61.
17. [17] R. Street, Fibrations and Yoneda's lemma in a 2-category, in: Category Seminar, Sydney 1972/73, LNM 420, Springer, Berlin, 1974, pp. 104-133.
18. [18] R. Street, R.F.C. Walters, The comprehensive factorization of a functor, Bull. Amer. Math. Soc. 79 (1973) 936-941.
19. [19] L. Waelbroeck, Differentiable mappings into b-spaces, J. Funct. Anal, 1 (1967) 409-418.