Internal presheaves toposes

 Access to full text

 Full (PDF)

1. 1 M. Arti N, A. Grothendieck, J.L. Verdier, Théorie des topos et Cohomologie étale des schémas (SGA 4), Lecture Notes in Math.269, Springer (1972). MR354653
2. 2 J. Benabou, Les catégories multiplicatives, Rapport 27, Sém. Math. Pures, Inst. Math., Univ. Catholique de Louvain, 1972. 
3. 3 J. Benabou, Fibrations petites et localement petites, C. R. A. S. Paris281 (1975), 897 - 900. Zbl0349.18006MR393181
4. 4 M. Bunge, Categories of Set-valued functors, Dissertation, Univ. of Pennsylvania, 1966. 
5. 5 M. Bunge, Relative functor categories and categories of algebras, J. of Algebra11- 1 (1969), 64- 101. Zbl0165.32902MR236238
6. 6 R. Di Aconescu, Change of base for toposes with generators, J. of Pure and Applied Algebra6- 3 (1975), 191- 218. Zbl0353.18002MR379627
7. 7 P. Gabri El, Handwritten draft of Section 2 of Chevalley and Gabriel, Catégories et foncteurs (unpublished). 
8. 8 P.T. Johnstone, Internal category Theory, Dissertation, Univ. of Cambridge, 1974. 
9. 9 A. Kock, G.C. Wraith, Elementary toposes, Lecture Notes Aarhus Univ., 30 (1971). Zbl0251.18015MR342578
10. 10 F.W. Lawvere, M. Tierney, Summary by J. Gray, Lecture Notes in Math.195, Springer (1971). 
11. 11 F.W. Lawvere, An elementary theory of the category of sets, Proc. Nat. Acad. Sci.52 (1964), 1506- 1511. Zbl0141.00603MR172807
12. 12 F.W. Lawvere, Quantifiers and sheaves, Actes du Congrès Internat. des Mathématiciens, Nice (1970), 329-334. Zbl0261.18010MR430021
13. 12 F.W. Lawvere, Toposes, Algebraic Geometry and Logic, Lecture Notes in Math.274, Springer (1972), 1-12. Zbl0249.18015MR376798
14. 14 F.W. Lawvere, Continuously variable set s: Algebraic Geometry = Geometric Logic, Proc. Logic Colloquium, Bristol (1973). Zbl0364.18002
15. 15 F.E.J. Linton, Applied functorial semantics, II, Lecture Notes in Math.80, Springer (1969), 53-74. Zbl0181.02901MR249485
16. 16 S. Mac Lane, Categories for the working mathematician, Springer, 1971. Zbl0906.18001MR1712872
17. 17 B. Mitchell, Theory of categories, Academic Press, New York, 1965. Zbl0136.00604MR202787
18. 18 W. Mitchell, Giraud's Theorem in elementary topoi, unpublished manuscript, 1972. 
19. 19 W. Mitchell, On topoi as closed categories, J. Pure and Applied Algebra3-2 (1973). Zbl0264.18004MR347927
20. 20 G.C. Wraith, Lectures on elementary topoi, Lecture Notes in Math.445, Springer (1975), 114-206. Zbl0323.18005MR393179

1. Enrico M. Vitale, On the characterization of monadic categories over set
2. Marta Bunge, Stack completions and Morita equivalence for categories in a topos