.. Das-séminaire-cartan, 112 3.2.2.1 Garbentheorie in zwei, 113 3.2.2.2 Die neue Garbendefinition: espaces étalés . . . . . . . 114 3.2.2.3 Garbencohomologie im Cartan-Seminar . . . . . . . 117

. Wohl-daher-weist-kreisel-nach, daß dieses Ziel der Ermöglichung von Konstruktionen auch ohne Entscheidung über ein Modell zu haben ist (vgl. 7.4.3). Spielte, wie wir in 6.4.5 gesehen haben, die Stärke des Axioms möglicherweise in der Bourbaki-Diskussion eine Rolle aufgrund der Unentscheidbarkeit der relativen Konsistenz

L. Tribu, Studium im Blick auf die KT Sehr schwierig zu rekonstruieren ist es, wer das jeweilige Protokoll verfaßt hat, Tribu 26

C. Du, Congrès oecumenique de Pelvoux-le-Poet Pelvoux-le-Poet, 1951.

. Cartan, . Delsarte, . Dieudonné, . Dixmier, . Godement et al., Visiteurs étrangers: Hochschild, Borel; Cobayes: Cartier

. Auflösung-feine, 133 freie, 99, 104 injektive, see injektive Auflösung projektive, see projektive Auflösung Auswahlaxiom, pp.286-288

. Erproben, 224 étale Cohomologie, see Cohomologie, éta- le Topologie, p.177

S. Einer-kategorie and . Kategorie, ge- faserte eines topologischen Raums, see Fa- serraum Faserraum, p.210, 0200.

S. Grp and . Gruppe, Kategorie der G-en Grundlagendisziplin, see Disziplin

S. Hilfsdisziplin and . Disziplin, 210 -modul, 103 -ring homologische Algebra, xvii, xix, xx, xxiii, pp.41-46

. Problemlösung, 52, 317 projektiv -e Auflösung, pp.203-132

. Top, Kategorie der t-en R-e topologischer Raum, xviii, pp.115-118

L. Abhyankar and S. #. Shreeram, High-school algebra in algebraic geometry Historical ramblings in algebraic geometry and related algebra, AMM, vol.83, issue.246, pp.567-572, 1975.

E. Agazzi, G. Darvas, and . Hg, Philosophy of mathematics today, episteme. Kluwer, 1997.
DOI : 10.1007/978-94-011-5690-5

J. W. Alexander, On transformations with invariant points, Transactions of the American Mathematical Society, vol.23, issue.1, pp.89-95, 1920.
DOI : 10.1090/S0002-9947-1922-1501191-7

P. Alexandroff, Untersuchungen über Gestalt und Lage abgeschlossener Mengen, AM, vol.30, pp.101-187, 1929.
DOI : 10.2307/1968272

M. A. Arbib and E. G. Manes, Arrows, Structures, and Functors. The Categorical Imperative, 1975.

E. Artin, The influence of J. H. M. Wedderburn on the development of modern algebra, Bulletin of the American Mathematical Society, vol.56, issue.1, pp.65-72, 1950.
DOI : 10.1090/S0002-9904-1950-09346-X

M. Artin, A. Grothendieck, J. L. Verdier, and . Hg, Théorie des topos et cohomologie étale des schémas, p.of LNM, 1972.

R. Baer, Beiträge zur Galoisschen Theorie Erweiterung von Gruppen und ihren Isomorphismen, MZ, vol.14, issue.38, pp.375-416, 1928.
DOI : 10.1007/bf01170643

. Literaturverzeichnis, Abelian groups that are direct summands of every containing abelian group, BAMS, vol.46, pp.800-806, 1940.

S. Banach, Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales, JFM 48 201f. . 1979. OEuvres. Edited by Mazur et al. Warschau: Éditions scientifiques de Pologne, pp.133-181, 1922.

Y. Bar-hillel, Essays on the Foundations of Mathematics dedicated to A.A. Fraenkel on his seventieth anniversary, Hg, 1961.

M. Barr and C. Wells, Triples, Topoi and Theories, 1985.

L. Beaulieu, Bourbaki's Art of Memory, Osiris, vol.14, issue.2, pp.219-251, 1072.
DOI : 10.1086/649309
URL : https://hal.archives-ouvertes.fr/hal-01143736

J. L. Bell, Category Theory and the Foundations of Mathematics, The British Journal for the Philosophy of Science, vol.32, issue.4, pp.349-358, 1981.
DOI : 10.1093/bjps/32.4.349

J. Belna, La notion de nombre chez Dedekind, 1996.

J. Bénabou, Catégories avec multiplication Fibered categories and the foundations of naive category theory, CRASc, vol.256, issue.1, pp.1887-1890, 1963.

P. Bernays, Die hohen Unendlichkeiten und die Axiomatik der Mengenlehre, In [Bernays et al, pp.11-20, 1961.

P. Bernays, Infinitistic methods, Proceedings of the symposium on foundations of mathematics Warschau, 1959.

G. Blanc and M. R. Donnadieu, Axiomatisation de la catégorie des catégories, CTDG, vol.17, pp.135-170, 1976.

G. Blanc and A. Preller, Lawvere's basic theory of the category of categories, The Journal of Symbolic Logic, vol.34, issue.01, pp.40-54, 1975.
DOI : 10.1073/pnas.52.6.1506

A. Blass, The interaction between category theory and set theory, Mathematical Applications of Category Theory, Proceedings Denver AMS Series in Contemporary Mathematics, pp.5-29, 1983.
DOI : 10.1090/conm/030/749767

A. Borel, Sur La Cohomologie des Espaces Fibres Principaux et des Espaces Homogenes de Groupes de Lie Compacts, The Annals of Mathematics, vol.57, issue.1, pp.115-207, 1953.
DOI : 10.2307/1969728

A. Borel and J. Serre, Le th??or??me de Riemann-Roch, Bulletin de la Société mathématique de France, vol.79, pp.97-136, 1958.
DOI : 10.24033/bsmf.1500

K. Borsuk and U. S. Eilenberg, Ueber stetige Abbildungen der Teilmengen euklidischer Raeume auf die Kreislinie, FM, vol.26, pp.207-223, 1936.

N. Bourbaki, Foundations of mathematics for the working mathematician, The Journal of Symbolic Logic, vol.14, issue.01, pp.1-8, 1949.
DOI : 10.2307/2268971

H. Brandt, Über die Komponierbarkeit quaternärer quadratischer Formen, MA, vol.94, pp.179-197, 1925.
DOI : 10.1007/bf01208654

J. Bridge, Beginning model theory, 1977.

L. Brouwer and . Egbertus, Über Abbildung von Mannigfaltigkeiten, MA, vol.71, pp.97-115, 1912.
DOI : 10.1007/bf01498670

K. Brown, Cohomology of Groups, 1982.

R. F. Brown, The Lefschetz fixed point theorem, 1971.

R. Brown, Elements of modern topology, 1968.

D. A. Buchsbaum, Exact categories and duality, Transactions of the American Mathematical Society, vol.80, issue.1, pp.1-3466, 1955.
DOI : 10.1090/S0002-9947-1955-0074407-6

H. Cartan, Sur le fondement logique des mathématiques Sur la notion de carapace en topologie algébrique, Revue Sci. (Rev. Rose Illus.) In [Cartan et al, vol.81, pp.3-11, 1943.

H. Cartan and S. Eilenberg, Homological Algebra, 1956.

H. Cartan, S. Eilenberg, and J. Serre, Cohomologie des groupes, suite spectrale, faisceaux. Seminaire Henri Cartan 3e annee: 1950/51, 1955.

H. Cartan, Topologie algébrique, of Colloques Internationaux du CNRS, 1949.

J. Carter, Ontology and Mathematical Practice, Philosophia Mathematica, vol.12, issue.3, 2002.
DOI : 10.1093/philmat/12.3.244

P. Cartier, L. Illusie, N. M. Katz, G. Laumon, Y. Manin et al., The Grothendieck Festschrift. Vol. I. A collection of articles written in honor of the 60th birthday of Alexander Grothendieck, p.35, 1990.

P. Cartier, Grothendieck et les motifs A mad day's work: from Grothendieck to Connes and Kontsevich, 2000.

J. Cavaillès, Sur la logique et la théorie des sciences. Troisième édition. Paris: Vrin. Erstausgabe, 1946.

E. Cech, Théorie générale de l'homologie dans un espace quelconque, FM, vol.19, pp.149-183, 1932.

C. Chevalley and S. Eilenberg, Cohomology theory of Lie groups and Lie algebras, Transactions of the American Mathematical Society, vol.63, issue.1, pp.85-124, 1948.
DOI : 10.1090/S0002-9947-1948-0024908-8

A. Church, The calculi of Lambda-conversion. Volume 6 of AM Studies. Princeton: Princeton University press. . 1956. Introduction to mathematical logic, 1941.

P. Cohen, THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS, Proceedings of the National Academy of Sciences, vol.50, issue.6, pp.1143-1148, 1963.
DOI : 10.1073/pnas.50.6.1143

P. Colmez and H. Und-jean-pierre-serre, Correspondance Grothendieck- Serre, 2001.

I. M. Copi, The theory of logical types, 1971.

L. Corry, Modern algebra and the rise of mathematical structures, Historical Studies Basel: Birkhäuser. Zbl.858, vol.17, issue.97, p.1023, 1022.
DOI : 10.1007/978-3-0348-7917-0

M. Costazza, Die Abkehr vom Wahrheitsparadigma in der Wissenschaftsphilosophie, Argumentation und Entscheidungedited by Roland Fischer , Markus Costazza und Ada Pellert, pp.193-242, 1993.

D. Dath, Aber was tut Gott, pp.272-313, 2003.

P. Dedecker, Introduction aux structures locales, Colloque de Géométrie différentielle globale (CBRM), pp.103-135, 1958.

R. Dedekind, Was sind und was sollen die Zahlen, pp.335-391, 1887.
DOI : 10.1007/978-3-663-02788-1

P. Deligne, La conjecture de Weil. I, Publications math??matiques de l'IH??S, vol.55, issue.1, pp.273-307, 1974.
DOI : 10.1007/BF02684373

. Cartier, Catégories tannakiennes, pp.111-195, 1990.

. Borel, Quelques idees maîtresses de l'oeuvre de A. Grothendieck, MR95c:14013, pp.11-1901034, 1998.

J. Dieudonné, Les méthodes axiomatiques modernes et les fondements des mathématiques De l'Analyse fonctionnelle aux fondements de la Géométrie Algébrique, Rev. Sci, vol.77, pp.224-225, 1939.

A. Dold, Lectures on Algebraic Topology, of Grundlehren der mathematischen Wissenschaften, 1972.

F. R. Drake, Set theory. An Introduction to Large Cardinals, Logic and the Foundations of Mathematics, 1974.

A. Dress, Ein Brief, In [Otte, pp.160-179, 1974.
DOI : 10.1007/978-3-642-80866-1_6

P. Duren, U. C. Merzbach, and . Hg, A century of mathematics in America. Part I, p.1064, 1988.

B. Eckmann and . Borel, Naissance des fibrés et homotopie, pp.21-36, 1998.
DOI : 10.1007/978-3-642-37339-8_16

B. Eckmann and P. Hilton, Group-like structures in general categories I multiplications and comultiplications, Mathematische Annalen, vol.6, issue.3, pp.227-255, 1962.
DOI : 10.1007/BF01451367

C. Ehresmann, Gattungen von lokalen Strukturen, MR20 #2392. . 1965. Catégories et structures. Paris: Dunod. MR35 #4274, pp.227-255, 1957.

S. Eilenberg, Cohomology and Continuous Mappings, The Annals of Mathematics, vol.41, issue.1, pp.231-251, 1940.
DOI : 10.2307/1968828

S. Eilenberg and G. M. Kelly, Closed Categories, pp.421-562, 1966.
DOI : 10.1007/978-3-642-99902-4_22

S. Eilenberg and S. M. Lane, Group extensions and homology Natural isomorphisms in group theory, MROder in [Mac Lane 1979b, 183ff]. MR4,88d. Proc. Nat. Acad. Sci. U, pp.757-831, 1942.

S. Eilenberg and N. E. Steenrod, Axiomatic Approach to Homology Theory, MR6,279d. . 1952. Foundations of algebraic topology, pp.117-120, 1945.
DOI : 10.1073/pnas.31.4.117
URL : https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1078770/pdf

S. Eilenberg and J. A. Zilber, Semi-simplicial complexes and singular homology AM (2) 51:499?513. MR11,734e. . 1953 On products of complexes, AJM, vol.75, pp.200-204, 1950.
DOI : 10.2307/1969364

E. Engeler, On the problem of foundations of category theory, dialectica, vol.71, issue.1, pp.58-66, 1969.
DOI : 10.2307/2300564

M. Epple, Genies, Ideen, Institutionen, mathematische Werkstätten: Formen der Mathematikgeschichte. Ein metahistorischer Essay, pp.47-131, 2000.
DOI : 10.1007/s005910070001

P. Erdös and A. Tarski, On some problems involving inaccesible cardinals, pp.50-82, 1961.

D. K. Faddeev, On factor-systems in Abelian groups with operators, Doklady Akad. Nauk SSSR (N. S.), vol.58, pp.361-364, 1947.

S. Feferman, Set-Theoretical foundations of category theory, LNM, vol.16, pp.201-247, 1969.
DOI : 10.1090/S0002-9904-1965-11234-4

C. S. Fisher, Some Social Characteristics of Mathematicians and Their Work, American Journal of Sociology, vol.78, issue.5, pp.1094-1118, 1972.
DOI : 10.1086/225424

R. H. Fox, Natural systems of homomorphisms. Preliminary report, BAMS, vol.49, p.373, 1943.

A. A. Fraenkel, Y. Bar-hillel, U. A. Lévy, and . Hg, Foundations of Set Theory, Studies in Logic and the Foundations of Mathematics, 1973.

M. Frank, Über Stil und Bedeutung. Wittgenstein und die Frühromantik, 1992.

M. Fréchet, Sur quelques points du calcul fonctionnel, Rendiconti del Circolo Matematico di Palermo, vol.22, issue.1, pp.1-74, 1906.
DOI : 10.1007/BF03018603

H. Freudenthal, Entwickelung von Räumen und ihren Gruppen, Compositio Math, vol.4, pp.145-234, 1937.

P. J. Freyd, Abelian Categories: An introduction to the theory of functors. NY: Harper and Row, pp.29-3517, 1964.

P. Gabriel, Des cat??gories ab??liennes, Bulletin de la Société mathématique de France, vol.79, pp.323-448, 1962.
DOI : 10.24033/bsmf.1583

K. Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, Monatshefte, vol.38, pp.173-198, 1931.

J. Gibbs, . Willard, and . Wilson, Vector Analysis: A Textbook for the use of Students of m+p, 1901.

D. Gillies and H. , Revolutions in Mathematics, 1992.

. Giraud, Dix exposés sur la cohomologie des schémas of advanced studies in pure math, 1968.

R. Godement, Théorie des faisceaux et topologie algébrique, 1958.

R. Goldblatt, Topoi. The Categorial Analysis of Logic. Studies in Logic and the Foundations of Mathematics, 1977.

J. W. Gray, Fragments of the history of sheaf theory, LNM, vol.4, issue.3, pp.1-79, 1979.
DOI : 10.1007/BFb0061812

E. Grosholz, Was Leibniz a mathematical revolutionary, pp.117-133, 1992.

A. Grothendieck, A general theory of fiber spaces with structure sheaf. University of Kansas: National Science Foundation Research Project, Produits tensoriels topologiques et espaces nucléaires, 1955.

. A. Of-mem, R. Providence, . Ams, and . Mr17, La théorie de Fredholm Sur quelques points d'algèbre homologique, MR19,558d, pp.319-384119, 1956.

. Sem and . Bourbaki, The cohomology theory of abstract algebraic varieties, Proc, 1960.

. Grothendieck and H. Alexander, Revêtements étales et groupe fondamental, 1971.

D. Guedj, Nicholas Bourbaki, collective mathematician: an interview with Claude Chevalley. Translated from the French by Jeremy Gray, pp.18-22, 1985.
DOI : 10.1007/bf03024169

V. K. Gugenheim and J. C. Moore, Acyclic models and fibre spaces, Transactions of the American Mathematical Society, vol.85, issue.2, pp.265-306, 1957.
DOI : 10.1090/S0002-9947-1957-0086301-7

M. Hakim, Topos annelés et schémas relatifs, 1972.

P. Hall, Group Rings and Extensions. I, The Annals of Mathematics, vol.39, issue.1, pp.220-234, 1938.
DOI : 10.2307/1968725

P. Halmos and . Richard, Naive Mengenlehre. Zweite Auflage, of Moderne Mathematik in elementarer Darstellung, 1969.

R. Hartshorne, Algebraic Geometry, GTM, vol.52, 1977.
DOI : 10.1007/978-1-4757-3849-0

W. S. Hatcher, The logical foundations of mathematics, 1982.

F. Hausdorff, Grundzüge einer Theorie der geordneten Mengen, MA, vol.65, pp.435-505, 1908.

E. Hecke, Vorlesungen über die Theorie der Algebraischen Zahlen, 1923.

G. Heinzmann, La pensée mathématique en tant que constructice de réalités nouvelles, PS, vol.3, issue.1, pp.99-111, 1998.

A. Heller, Homological algebra and abelian categories, AM, vol.683, pp.484-525, 1958.
DOI : 10.2307/1970153

A. Heller and K. A. Rowe, On the Category of Sheaves, American Journal of Mathematics, vol.84, issue.2, pp.205-216, 1962.
DOI : 10.2307/2372759

A. Heller, M. Tierney, and H. , Algebra, topology, and category theory (a collection of papers in honor of Samuel Eilenberg), 1976.

J. Herbrand, Théorie arithmétique des corps de nombres de degré infini. II, MA, vol.108, p.699, 1933.

A. Herreman, Découvrir et transmettre, 2000.

K. Hess, A History of Rational Homotopy Theory, pp.757-796, 1999.
DOI : 10.1016/B978-044482375-5/50028-6

P. J. Higgins, Categories and Groupoids, 1971.

P. Hilton, The Language of Categories and Category Theory, pp.79-82, 1981.

P. Hilton and W. , Homology theory. An Introduction to algebraic topology, 1960.

F. Hirzebruch, Neue topologische Methoden in der algebraischen Geometrie. Volume neue Folge Heft 9 of Ergebnisse der Mathematik, 1956.

H. Hopf, Abbildung geschlossener Mannigfaltigkeiten auf Kugeln in n Dimensionen, Jahresbericht DMV, vol.34, pp.130-133, 1926.
DOI : 10.1007/978-3-662-25046-4_1

. Verallgemeinerung-der-euler-poincaréschen-formel-nachrichten, ?. Mathematisch, and . Klasse, hier zitiert nach Zur Algebra der Abbildungen von Mannigfaltigkeiten Über die Abbildungen der dreidimensionalen Sphäre auf die Kugelfläche Die Klassen der Abbildungen der n-dimensionalen Polyeder auf die n-dimensionale Sphäre Über die Abbildungen von Sphären auf Sphären niedrigerer Dimension Fundamentalgruppe und zweite Bettische Gruppe, Crelle MA Commentarii Mathematici Helvetici FM Comment. Math. Helv, vol.163, issue.14, pp.127-136, 1928.

C. Houzel, Les debuts de la théorie des faisceaux, In [Kashiwara und Schapira, pp.7-22, 1990.

. Borel, Histoire de la théorie des faisceaux Bourbaki und danach, Mathematische Semesterberichte, vol.49, pp.101-1191, 1998.

K. Hulek, Der Satz von Riemann-Roch, pp.217-229, 1997.

W. Hurewicz and N. E. Steenrod, Homotopy Relations in Fibre Spaces, Proceedings of the National Academy of Sciences, vol.27, issue.1, pp.60-64, 1941.
DOI : 10.1073/pnas.27.1.60
URL : https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1078274/pdf

W. Hurewicz, I. Zur-topologie-der-deformationen, and . Klassen-und-homologietypen-von-abbildungen, Beiträge zur Topologie der Deformationen IV. Asphärische Räume On duality Theorems, Seifert: ZBL.013.22903. BAMS 47:562. . 1995. Collected works of Witold Hurewicz. With contributions by Ryszard Engelking, pp.117-126215, 1936.

L. Illusie, Catégories dérivées et dualité, travaux de J.-L. Verdier, Enseign . Math, vol.36, pp.369-391, 1990.

J. R. Isbell, Adequate Subcategories Two set?theoretical theorems in categories, Illinois Math. Journal FM, vol.4, issue.53, pp.541-55243, 1960.

I. M. James, From Combinatorial Topology to Algebraic Topology, pp.561-573, 1999.
DOI : 10.1016/B978-044482375-5/50020-1

. Hg, History of Topology, 1999.

A. Janik and S. Toulmin, Wittgensteins Wien. Dt. Übersetzung von Wittgenstein's Vienna, 1972.

R. Jensen, . Björn, and . Hg, Modelle der Mengenlehre, LNM, vol.37, 1967.
DOI : 10.1007/BFb0073881

P. T. Johnstone, Topos Theory, of L.M.S. Monographs, 1977.

C. Jordan, M??moire sur les ??quations diff??rentielles lin??aires ?? int??grale alg??brique., Journal f??r die reine und angewandte Mathematik (Crelles Journal), vol.1878, issue.84, pp.89-215, 1877.
DOI : 10.1515/crll.1878.84.89

D. M. Kan, On c. s. s. complexes Adjoint functors Functors involving c.s.s. complexes, AJM TAMS TAMS, vol.79, issue.1720, pp.449-476, 1957.

J. Kantor and H. , Jean Leray, 1906.

I. Kaplanski, Book Review: Formes sesquilin??aires et formes quadratiques, Bulletin of the American Mathematical Society, vol.66, issue.4, pp.266-267, 1960.
DOI : 10.1090/S0002-9904-1960-10461-2

M. Kashiwara and P. Schapira, Sheaves on manifolds. With a short history " Les debuts de la theorie des faisceaux " by Christian Houzel, 1990.

H. Keisler, A. Jerome, and . Tarski, From accessible to inaccessible cardinals, FM, vol.53, 1963.

J. L. Kelley and E. Pitcher, Exact Homomorphism Sequences in Homology Theory, The Annals of Mathematics, vol.48, issue.3, pp.682-709, 1947.
DOI : 10.2307/1969135

J. L. Kelley, General topology. NY (Princeton lt. [Feferman 1969] und, 1955.

S. L. Kleiman and . Giraud, Algebraic cycles and the Weil conjectures, pp.359-386, 1968.

H. Künneth, Über die Torsionszahlen von Produktmannigfaltigkeiten, MA, vol.91, pp.65-85, 1923.

H. Kragh, An Introduction to the Historiography of Science, 1987.
DOI : 10.1017/CBO9780511622434

G. Kreisel, Mathematical Logic Appendix II [zu [Feferman, LNM, vol.106, pp.233-245, 1965.

R. Krömer, Universität des Saarlandes Akzeptanz neuer mathematischer Konzepte am Beispiel des Vektorraumbegriffs The metaphor of tool and foundation of mathematics of Research Center for the history of sciences and humanities. History of mathematics Tarski's Axiom of Inaccessibles and Grothendieck Universes ? Historical and Critical Remarks on the Foundations of Category Theory, Zur Geschichte des axiomatischen Vektorraumbegriffs (Diplomarbeit ) PS 4 Mathematics throughout the ages Logika 21, pp.147-172, 1998.

M. Kuehnrich, Das Yoneda?Lemma in der Zermelo?Fraenkelschen Mengentheorie, ZMLG, vol.23, pp.443-446, 1977.

E. Kunz, Einführung in die kommutative Algebra und algebraische Geometrie, 1980.

K. Kuratowski and . Mostowski, Set Theory. Studies in Logic and the Foundations of Mathematics, 1968.

F. Lawvere and . William, AN ELEMENTARY THEORY OF THE CATEGORY OF SETS, Proceedings of the National Academy of Sciences, vol.52, issue.6, pp.1506-1511, 1964.
DOI : 10.1073/pnas.52.6.1506

S. Lefschetz, Intersections and transformations of complexes and manifolds, Transactions of the American Mathematical Society, vol.28, issue.1, pp.1-49, 1926.
DOI : 10.1090/S0002-9947-1926-1501331-3

J. Leray and . Cartan, L'anneau d'homologie d'une représentation Propriétés de l'anneau d'homologie de la projection d'un espace fibré sur sa base Structure de l'anneau d'homologie d'une représentation Sur l'anneau d'homologie de l'espace homogène, quotient d'un groupe clos par un sousgroupe abélien, connexe, maximum L'homologie filtrée, Sur la forme des espaces topologiques et sur les points fixes des représentations MR8,49d. MR8,49e. MR8,166c, pp.95-167, 1945.

A. Loewy, Neue elementare Begründung und Erweiterung der Galoisschen Theorie, 1925.

G. Longo, On church's formal theory of functions and functionals, Annals of Pure and Applied Logic, vol.40, issue.2, pp.93-133, 1988.
DOI : 10.1016/0168-0072(88)90017-6

S. Lubkin, Imbedding of abelian categories, Transactions of the American Mathematical Society, vol.97, issue.3, pp.410-417, 1960.
DOI : 10.1090/S0002-9947-1960-0169890-3

B. Lutz and . Hg, Metzler Philosophenlexikon. 2.Auflage, J.B.Metzler, 1995.

A. Lévi, the role of classes in set theory, Hier zitiert nach, pp.119-153, 1973.

Y. Manin, Georg Cantor and his heritage Talk at the meeting of the DMV and the Cantor Medal award ceremony

A. Markoff, On free topological groups, Bull. Acad. Sci. URSS. Sér. Math. [Izvestia Akad. Nauk SSSR], vol.9, pp.3-64, 1945.

J. Marquis and . Pierre, Category theory and the foundations of mathematics: Philosophical excavations, Synthese, vol.LXXXVI, issue.9, pp.421-447, 1995.
DOI : 10.1007/BF01089735

W. S. Massey, A History of Cohomology Theory, pp.579-603, 1999.
DOI : 10.1016/B978-044482375-5/50022-5

A. R. Mathias, The ignorance of bourbaki, The Mathematical Intelligencer, vol.41, issue.2, pp.4-13, 1992.
DOI : 10.1007/BF03025863

F. I. Mautner, An Extension of Klein's Erlanger Programm: Logic as Invariant Theory, AJM, vol.68, pp.345-384, 1946.

W. Mayer, Über abstrakte Topologie Über abstrakte Topologie, pp.1-42219, 1929.

C. Mclarty, The Uses and Abuses of the History of Topos Theory, The British Journal for the Philosophy of Science, vol.41, issue.3, pp.351-375, 1990.
DOI : 10.1093/bjps/41.3.351

H. Meschkowski, Mathematisches Begriffswörterbuch. Volume 99 of Hochschultaschenbücher, 1976.

H. Miller, Leray in Oflag XVIIA: the origins of sheaf theory, sheaf cohomology, and spectral sequences, pp.17-34, 2000.

J. Milnor, The Geometric Realization of a Semi-Simplicial Complex, The Annals of Mathematics, vol.65, issue.2, pp.357-362, 1957.
DOI : 10.2307/1969967

J. Mittelstraß and . Hg, Enzyklopädie Philosophie und Wissenschaftstheorie, 1980.

. Müller and H. Gerd, Set theory as a " frame " of mathematics, 1975.

. Hg, Sets and Classes. On the Work by Paul Bernays Framing mathematics, Logic and the Foundations of Mathematics, pp.253-286, 1976.

H. Müller, Scharfe Fassung des Begriffes faisceau in einer gruppentheoretischen Arbeit Camille Jordan's. Zürich: Dissertationsdruckerei AG. Gebr. Leemann & Co, 1947.

D. #. Mumford, Geometric invariant theory Appendix to Chapter IV [The arithmetic genus and the generalized theorem of Riemann-Roch], pp.88-91, 1935.

M. H. Newman, On the foundations of combinatory analysis situs, Proc. Akademie von Wetenschappen Amsterdam 29, pp.611-626, 1926.

A. Oberschelp, Eigentliche Klassen als Urelemente in der Mengenlehre, Mathematische Annalen, vol.131, issue.3, pp.234-260, 1964.
DOI : 10.1007/BF01362438

G. Osius, Eine Erweiterung der NGB?Mengenlehre als Grundlage der Kategorientheorie, FM, vol.92, pp.173-207, 1976.

M. Otte and H. , Mathematiker über die Mathematik Das Formale, das Soziale und das Subjektive, Eine Einführung in die Philosophie und die Didaktik der Mathematik. Volume 1106 of stw. Frankfurt am Main: Suhrkamp, 1974.

H. Poincaré, Analysis situs La Valeur de la Science, Journal de l'École Polytechnique, vol.1, pp.1-121, 1895.

L. Pontrjagin, Zum Alexanderschen Dualitätssatz. I, II, Nachrichten Göttingen, pp.315-322, 1927.

W. Quine and . Van-orman, New Foundations for Mathematical Logic, The American Mathematical Monthly, vol.44, issue.2, pp.80-101, 1937.
DOI : 10.2307/2300564

J. Ritter and . Hg, Historisches Wörterbuch der Philosophie, 1971.

M. E. Rose, J. C. Shepherdson, and . Hg, Logic Colloquium´73Colloquium´73, Proceedings of the Logic Colloquium in Bristol July 73 of Studies in Logic and the Foundations of Mathematics, pp.51-10015, 1975.

. Saavedra-rivano and . Neantro, Cat??gories tannakiennes, Bulletin de la Société mathématique de France, vol.79, 1972.
DOI : 10.24033/bsmf.1745

G. Sacks, Remarks against foundational activity, pp.523-528, 1975.

P. Samuel, On universal mappings and free topological groups, Bulletin of the American Mathematical Society, vol.54, issue.6, pp.591-598, 1948.
DOI : 10.1090/S0002-9904-1948-09052-8

E. Scholz, Geschichte des Mannigfaltigkeitsbegriffs von Riemann bis Poincaré (Diss), 1979.

O. Schreier, ??ber die Erweiterung von Gruppen I, Monatshefte f??r Mathematik und Physik, vol.34, issue.1, pp.165-180, 1926.
DOI : 10.1007/BF01694897

D. S. Scott and . Hg, Axiomatic Set Theory, Proceedings of the Symposium in Pure Mathematics of the AMS held at the University of California, 1967.

G. Segal, Classifying spaces and spectral sequences, Publications math??matiques de l'IH??S, vol.71, issue.1, pp.105-112, 1968.
DOI : 10.1090/S0002-9904-1965-11420-3
URL : http://archive.numdam.org/article/PMIHES_1968__34__105_0.pdf

Z. Semadeni and A. Wiweger, Einführung in die Theorie der Kategorien und Funktoren, 1979.

M. Senechal, The continuing silence of Bourbaki?an Interview with Pierre Cartier, pp.22-28, 1997.

J. Serre, Cohomologie des extensions de groupes Homologie singulière des espaces fibrés. I. La suite spectrale Homologie singulière des espaces fibrés. Applications Cohomologie modulo 2 des complexes d'Eilenberg-MacLane Groupes d'homotopie et classes de groupes abéliens Faisceaux algébriques cohérents Géométrie algébrique et géométrie analytique, CRASc CRASc AM Comment. Math. Helv. AM AM, vol.231, issue.61, pp.643-646, 1950.

5. Fourier, Analogues kählériens de certaines conjectures de Weil Rapport au comité Fields sur les travaux de A. Grothendieck, MR22 #3018, pp.1-42, 1960.

J. Serre and G. P. Hochschild, Cohomology of group extensions, TAMS, vol.74, pp.110-134, 1953.

I. R. Shafarevich, Basic algebraic geometry. Translated from the Russian by K. A. Hirsch, Die Grundlehren der mathematischen Wissenschaften, Band 213, 1974.

A. Shields, Years ago, pp.6-7, 1987.

C. Siegel and . Ludwig, Zu den Beweisen des Vorbereitungssatzes von Weierstra??, pp.1877-1938, 1968.
DOI : 10.1007/978-3-642-61867-3_1

J. Sonner, On the formal definition of categories, Mathematische Zeitschrift, vol.30, issue.1, pp.163-176, 1962.
DOI : 10.1007/BF01162373

E. H. Spanier, Algebraic Topology. Volume 11 of McGraw Hill series in higher mathematics, 1966.

N. E. Steenrod, Universal homology groups Regular cycles of compact metric spaces, AJM AM, vol.58, issue.41, pp.661-701833, 1936.

H. Stork, Einführung in die Philosophie der Technik, 1977.

A. Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen Über unerreichbare Kardinalzahlen, Stud. Phil. FM, vol.1, issue.30, pp.68-89, 1935.

C. Thiel, Grundlagenkrise und Grundlagenstreit Studie über das normative Fundament der Wissenschaften am Beispiel von Mathematik und Sozialwissenschaft. Meisenheim am Glan, 1972.

A. W. Tucker, An abstract approach to manifolds AM, 1933.

A. Turing and . Mathison, The extensions of a group, Compositio Math, vol.5, pp.357-367, 1938.

B. Van-der-waerden and . Leendert, Kombinatorische Topologie, Jahresberichte DMV, vol.39, pp.121-139, 1930.

O. Veblen, The intersection numbers, Transactions of the American Mathematical Society, vol.25, issue.4, pp.540-550, 1923.
DOI : 10.1090/S0002-9947-1923-1501259-6

O. Veblen and J. H. Whitehead, A set of axioms for differential geometry, Proc. Nat. Acad. Sci, pp.551-561, 1931.

J. Verdier, Des catégories dérivées des catégories abéliennes. With a preface by Luc Illusie. Edited and with a note by Georges Maltsiniotis, p.18007, 1996.

L. Vietoris, Über den höheren Zusammenhang kompakter Räume und eine Klasse von zusammenhangstreuen Abbildungen, pp.454-472, 1927.

K. Volkert, V. Thomas, . Studien, and . Göttingen, Die Krise der Anschauung Das Homöomorphismusproblem, insbesondere der 3- Mannigfaltigkeiten, 1986.

H. Wang, Logic, Computation and Philosophy L'âge de la science 3:101?115. auch in: Computation, Logic, Philosophy. A collection of essays, pp.47-59, 1971.

G. Washnitzer, Geometric Syzygies, American Journal of Mathematics, vol.81, issue.1, pp.171-248, 1959.
DOI : 10.2307/2372854

C. A. Weibel, History of Homological Algebra, pp.797-836, 1999.
DOI : 10.1016/B978-044482375-5/50029-8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.7063

A. N. Weil, A. Im-jahre, and . Mr9, Numbers of solutions of equations in finite fields, Proceedings of the International Congress of Mathematicians Proceedings of the International Congress of Mathematicians III. Erven P. Noordhoff N.V, pp.497-508, 1078.
DOI : 10.1090/S0002-9904-1949-09219-4

H. Weyl, The Classical Groups, Their Invariants and Representations. Princeton: Princeton UP Axiomatic Versus Constructive Procedures in Mathematics, 1939.

H. Whitney, The Maps of an n-Complex into an n-Sphere, Duke Math.J, vol.3, pp.51-55, 1937.
DOI : 10.1007/978-1-4612-2974-2_16

L. G. Wittgenstein, G. E. Wright, R. Anscombe, and . Rees, Bemerkungen über die Grundlagen der Mathematik Werkausgabe Band 6, 1984.

N. Yoneda, On the homology theory of modules, J. Fac. Sci. Univ. Tokyo -Sect. I, vol.7, pp.193-227, 1954.

O. Zariski, Algebraic Surfaces, 1935.

H. Zassenhaus, Lehrbuch der Gruppentheorie, 1937.