×

Internal presheaves toposes. (English) Zbl 0365.18017


MSC:

18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
18A15 Foundations, relations to logic and deductive systems
18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.)
PDF BibTeX XML Cite
Full Text: Numdam EuDML

References:

[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 ). MR 354653
[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. Paris 281 ( 1975 ), 897 - 900 . MR 393181 | Zbl 0349.18006 · Zbl 0349.18006
[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 Algebra 11 - 1 ( 1969 ), 64 - 101 . MR 236238 | Zbl 0165.32902 · Zbl 0165.32902
[6] 6 R. Di Aconescu , Change of base for toposes with generators , J. of Pure and Applied Algebra 6 - 3 ( 1975 ), 191 - 218 . MR 379627 | Zbl 0353.18002 · Zbl 0353.18002
[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 ). MR 342578 | Zbl 0251.18015 · Zbl 0251.18015
[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 . MR 172807 | Zbl 0141.00603 · Zbl 0141.00603
[12] 12 F.W. Lawvere , Quantifiers and sheaves , Actes du Congrès Internat. des Mathématiciens, Nice ( 1970 ), 329 - 334 . MR 430021 | Zbl 0261.18010 · Zbl 0261.18010
[13] 12 F.W. Lawvere , Toposes, Algebraic Geometry and Logic , Lecture Notes in Math. 274 , Springer ( 1972 ), 1 - 12 . MR 376798 | Zbl 0249.18015 · Zbl 0249.18015
[14] 14 F.W. Lawvere , Continuously variable set s: Algebraic Geometry = Geometric Logic , Proc. Logic Colloquium, Bristol ( 1973 ). Zbl 0364.18002 · Zbl 0364.18002
[15] 15 F.E.J. Linton , Applied functorial semantics, II , Lecture Notes in Math. 80 , Springer ( 1969 ), 53 - 74 . MR 249485 | Zbl 0181.02901 · Zbl 0181.02901
[16] 16 S. Mac Lane , Categories for the working mathematician , Springer , 1971 . MR 1712872 | Zbl 0906.18001 · Zbl 0906.18001
[17] 17 B. Mitchell , Theory of categories , Academic Press , New York , 1965 . MR 202787 | Zbl 0136.00604 · Zbl 0136.00604
[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 Algebra 3 - 2 ( 1973 ). MR 347927 | Zbl 0264.18004 · Zbl 0264.18004
[20] 20 G.C. Wraith , Lectures on elementary topoi , Lecture Notes in Math. 445 , Springer ( 1975 ), 114 - 206 . MR 393179 | Zbl 0323.18005 · Zbl 0323.18005
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.