Mancosu - Philosophy of Mathematical Practice (Oxford, 2008).pdf

‘there is no ontology here’ 403Artin, Michael,Grothendieck, Alexander, and Verdier, Jean-Louis (1972), Théoriedes Topos et Cohomologie Etale des Schémas I, Séminaire de géométrie algébrique duBois-Marie, 4 (Berlin: Springer-Verlag). Generally cited as SGA4.Atiyah, Michael (1976), ‘Bakerian Lecture, 1975: Globalgeometry’,Proceedings of theRoyal Society of London Series A, 347(1650), 291–299.(2006), ‘The Interaction Between Geometry and Physics’, in Pavel Etingof,Vladimir Retakh, and I. M. Singer (eds.), The Unity of Mathematics, n. 244 inProgress in Mathematics, 1–15 (Boston: Birkhäuser).Baez, John and Dolan, J.(2001), ‘From Finite Sets to Feynman Diagrams’, in BjörnEngquist and Wilfried Schmid (eds.), Mathematics Unlimited: 2001 and Beyond, 29–50(New York: Springer-Verlag).Bass, Hyman (1978), ‘The Fields Medals II: Solving Geometry Problems with Algebra’,Science, 202, 505–506.Bénabou, Jean(1985), ‘Fibered Categories and the Foundations of Naive CategoryTheory’, Journal of Symbolic Logic, 50, 10–37.Bourbaki, N.(1958), Théorie des Ensembles, 3rd edn (Paris: Hermann).Carter, Jessica (Forthcoming), ‘Categories for the Working Mathematician: Makingthe Impossible Possible’, Synthese.Corfield, David (2005), ‘Categorification as a Heuristic Device’, in D. Gillies andC. Cellucci (eds.), Mathematical Reasoning and Heuristics, 71–86 (London: King’sCollege Publications).(2006), ‘Some Implications of the Adoption of Category Theory for Philosophy’,in Giandomenico Sica (ed.), What is Category Theory? (Milan: Polimetrica)pp. 75–93.Corry, Leo(1996), Modern Algebra and the Rise of Mathematical Structures (Boston:Birkhäuser).Deligne, Pierre (ed.) (1977), Cohomologie Étale, Séminaire de géométrie algébrique duBois-Marie; SGA 41/2 (Berlin: Springer-Verlag). Generally cited as SGA 41/2,thisis not strictly a report on the Seminar.(1998), ‘Quelques idées maîtresses de l’œuvre de A. Grothendieck’, in Matériauxpour l’Histoire des Mathématiques au XX e Siècle (Nice, 1996) (Soc. Math. France)pp. 11–19.Dieudonné, Jean(1981), History of Functional Analysis (Amsterdam: North-Holland).Eilenberg, Samuel and Steenrod,Norman(1945), ‘Axiomatic Approach to HomologyTheory’, Proceedings of the National Academy of Science, 31, 117–120.Eisenbud, David (1995), Commutative Algebra (New York: Springer-Verlag).Eisenbud, David and Harris, Joe(1992), Schemes: The Language of Modern AlgebraicGeometry (New York: Wadsworth).Faltings, Gerd (2001), ‘Diophantine Equations’, in Björn Engquist and WilfriedSchmid (eds.), Mathematics Unlimited: 2001 and Beyond (New York: Springer-Verlag)pp. 449–54.