This is a preview of subscription content, access via your institution.
Preview
Unable to display preview. Download preview PDF.
Bibliographie Commentée
F.W. LAWVERE-An elementary theory of the category of sets, Proc. Nat. Acad. Sci. U.S.A., 52(1964), p. 1506–1511.
— An elementary theory of the category of sets, notes polycopiées, 43 pages, Université de Chicago, 1964.
— Adjointness in foundations, Dialectica, 23(1969), p. 281–296.
— Equality in hyperdoctrines and comprehension schema as an adjoint functor, Symposia Pure Maths., vol. XVII, Amer. Math. Soc., 1970, p. 1–14.
— Quantifiers and sheaves, Actes du Congrès Intern. des Math., Nice, 1970, vol. I, p. 329–334.
— Continuously variable sets: algebraic geometry = geometric logic, in Bristol Logic Colloquium ’73, North Holland, 1975, p. 135–156.
— Variable quantities and variable structures in topoi, in Algebra, Topology and Category Theory (éd. A. Heller et M. Tierney), Academic Press, 1976, p. 101–131.
Toposes, algebraic geometry and logic, Lecture Notes in Maths., vol.274, Springer, 1972.
Model theory and topoi, Lecture Notes in Maths., vol. 445, Springer, 1975.
A. CHURCH-The calculi of lambda conversion, Annals of Math. Studies, 6, Princeton University Press, 1941.
H. CURRY, R. FEYS et W. CRAIG-Combinatory Logic, vol. I, North Holland, 1958.
G. GENTZEN-Collected Papers (M. Szabo édit.), North Holland, 1969.
J. van HEIJENOORT-Frege and Gödel (Two fundamental texts in mathematical logic), Harvard University Press, 1970.
D. HILBERT et W. ACKERMANN-Grundzüge der theoretischen Logik, 5e édit., Springer, 1967.
S. KLEENE-Introduction to Metamathematics, van Nostrand, 1952.
Y. MANIN-A course in Mathematical Logic, Springer, 1977.
G. BIRKHOFF-Lattice theory, Colloquium Publ., vol. XXV, 3e édit., Amer. Math. Soc., 1967.
P. HALMOS-Lectures on Boolean algebras, van Nostrand, 1963.
A. HEYTING-Intuitionism. An introduction, North Holland, 1956.
J. McKINSEY et A. TARSKI-On closed elements in closure algebras, Ann. of Maths, 47(1946), p. 122–162.
R. SIKORSKI-Boolean algebras, Springer, 1964.
H.RASIOWA et R. SIKORSKI-The mathematics of metamathematics, Monografie Mat. vol. 41, Varsovie, 1963.
M. ARTIN-Grothendieck topologies, notes polycopiées, Harvard, 1962.
M. ARTIN, A. GROTHENDIECK et J.L. VERDIER-Théorie des topos et cohomologie étale des schémas (SGA 4), Lecture Notes in Maths., vol. 269, Springer, 1972.
J. GIRAUD-Classifying topos, dans [8], p. 43–56.
— Analysis Situs [d’après Artin et Grothendieck], Sém. Bourbaki 1962/3, exposé 256, 11 pages, Benjamin, 1966.
M. HAKIM-Topos annelés et schémas relatifs, Springer, 1972.
R. GODEMENT-Topologie algébrique et théorie des faisceaux, Hermann, 1958.
J. BÉNABOU et J. CELEYRETTE-Généralités sur les topos de Lawvere et Tierney, Sém. Bénabou, Université Paris-Nord, 1971.
P. FREYD-Aspects of topoi, Bull. Austr. Math. Soc., 7(1972), p. 1–76 et 467–480.
P. JOHNSTONE-Topos theory, London Math. Soc. vol. 10, Academic Press, 1977.
A. KOCK et C. MIKKELSEN-Topos theoretic factorization of non-standard analysis, Lecture Notes in Maths., vol. 369, Springer, 1974, p. 122–143.
A. KOCK et G. WRAITH-Elementary toposes, Aarhus Lecture Notes, vol. 30, 1971.
M. TIERNEY-Axiomatic sheaf theory: some constructions and applications, in Categories and Commutative Algebra, C.I.M.E. III Ciclo 1971, Edizioni Cremonese, 1973, p. 249–326.
— Forcing topologies and classifying topoi, in Algebra, Topology and Category Theory (éd. A. Heller et M. Tierney), Academic Press, 1976, p. 211–219.
J. BÉNABOU-Catégories et logiques faibles, Journées sur les Catégories, Oberwolfach, 1973.
M. COSTE-Logique d’ordre supérieur dans les topos élémentaires, Sém. Bénabou, Université Paris-Nord, 1973/4.
J. LAMBEK-Deductive systems and categories, I: Math. Systems Theory, 2(1968), p. 287–318; II: Lecture Notes in Maths., vol.86, Springer, 1969, p. 76–122; III: in [8], p. 57–82.
W. MITCHELL-Boolean topoi and the theory of sets, Journ. Pure and Applied Alg., 2(1972), p. 261–274.
G. OSIUS-Logical and set theoretical tools in elementary topoi, in [9], p. 297–346.
— A note on Kripke-Joyal semantics for the internal language of topoi, in [9], p. 349–354.
H. VOLGER-Logical categories, semantical categories and topoi, in [9], p. 87–100.
P. BERNAYS et A. FRAENKEL-Axiomatic set theory, North Holland, 1968.
P. COHEN-Set theory and the continuum hypothesis, Benjamin, 1966.
K. GÖDEL-The consistency of the axiom of choice and the generalized continuum-hypothesis with the axioms of set theory, 4e édit., Princeton University Press, 1958.
R. JENSEN-Modelle der Mengenlehre, Lecture Notes in Maths., vol. 37, Springer, 1967.
A. MOSTOWSKI-An undecidable arithmetical statement, Fund. Math., 36(1949), p. 143–164.
J. ROSSER-Simplified independence proofs (Boolean valued models of set theory), Academic Press, 1969.
P. SAMUEL-Modèles booléiens et hypothèse du continu, Sém. Bourbaki 1966/7, exposé 317, 12 pages, Benjamin, 1968.
D. SCOTT-A proof of the independence of the continuum hypothesis, Math. Systems Theory, 1(1967), p. 89–111.
J. COLE-Categories of sets and models of set theory, Proc. Bertrand Russell Memorial Logic Conference, Uldum 1971, Leeds 1973, p. 351–399.
G. OSIUS-Categorical set theory: a characterization of the category of sets, Journ. Pure and Applied Alg., 4(1974), p. 79–119.
M. TIERNEY-Sheaf theory and the continuum hypothesis, in [8], p. 13–42.
Rights and permissions
Copyright information
© 1979 N. Bourbaki
About this paper
Cite this paper
Cartier, P. (1979). Logique, catégories et faisceaux [d’après F. Lawvere et M. Tierney]. In: Séminaire Bourbaki vol. 1977/78 Exposés 507–524. Lecture Notes in Mathematics, vol 710. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0069976
Download citation
DOI: https://doi.org/10.1007/BFb0069976
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09243-8
Online ISBN: 978-3-540-35340-9
eBook Packages: Springer Book Archive
