Abstract
In this paper, I introduce the idea that some important parts of contemporary pure mathematics are moving away from what I call the extensional point of view. More specifically, these fields are based on criteria of identity that are not extensional. After presenting a few cases, I concentrate on homotopy theory where the situation is particularly clear. Moreover, homotopy types are arguably fundamental entities of geometry, thus of a large portion of mathematics, and potentially to all mathematics, at least according to some speculative research programs.
Similar content being viewed by others
References
Aguilar M., Gitler S., Prieto C. (2002) Algebraic topology from a homotopical viewpoint. Springer, New York
Alexandroff, P. (1962). Commemoration of Eduard C̆ech (pp. 29–30). Czech Republic: Academia Publishing House of Czechoslovak Academy of Sciences.
Awodey S., Warren M. A. (2009) Homotopy theoretic models of identity type. Math. Proc. Cambrdige Philos. Soc. 146(1): 45–55
Baez, J. C., Shulman, M. (2006). Lectures on n-categories and cohomology. arXiv. math.CT.
Baues H.-J. (1995) Homotopy types. In: James I. M. (Ed.) Handbook of algebraic topology. Elsevier, New York, pp 1–72
Baues H.-J. (1996) Homotopy type and homology. Clarendon Press. Oxford Science Publications, Oxford
Baues H.-J. (2002) Atoms of topology. Jahresber. Deutsch. Math.-Verein 104(4): 147–164
Carter J. (2005) Individuation of objects—a problem for structuralism?. Synthese 143(3): 291–307
Carter J. (2008) Structuralism as a philosophy of mathematical practice. Synthese 163(2): 119–131
Dieudonné, J. (1985). History of algebraic geometry: An outline of the history and development of algebraic geometry Wadsworth mathematics series. Belmont, CA: Wadsworth International Group (J. D. Sally, Trans. from French).
Dieudonné J. (1989) A history of algebraic and differential topology, 1900–1960. Birkhäuser, Boston
Dwyer, W. G., Hirschhorn, P. S., Kan, D. M., & Smith, J. H. (2004). Homotopy limit functors on model categories and homotopical categories. Mathematical surveys and monographs (Vol. 113). Providence, Rhodes Island: American Mathematical Society.
Eilenberg S., Mac Lane S. (1945) A general theory of natural equivalences. Transactions of the American Mathematical Society 58: 231–294
Grassi A. (2009) Birational geometry old and new. Bulletin of the American Mathematical Society (N.S.) 46(1): 99–123
Hartshorne R. (1977) Algebraic geometry. Graduate texts in mathematics, No. 52. Springer, New York
Hatcher A. (2002) Algebraic topology. Cambridge University Press, Cambridge
Krömer, R. (2007). Tool and object: A history and philosophy of category theory. Science networks. Historical studies (Vol. 32). Basel: Birkhäuser.
Mac Lane, S. (1998). Categories for the working mathematician. Graduate texts in mathematics (2nd ed., Vol. 5). New York: Springer.
Mac Lane S., Moerdijk I. (1994) Sheaves in geometry and logic: A first introduction to topos theory. Springer, Universitext. New York
Makkai, M. (1998). Towards a categorical foundation of mathematics. In: Logic colloquium ’95 (Haifa). Lecture notes logic (Vol. 11, pp. 153–190). Berlin: Springer.
Marquis J.-P. (2006) A path to the epistemology of mathematics: Homotopy theory. In: Ferreirós J., Gray J. J. (eds) The architecture of modern mathematics. Oxford University Press, Oxford, pp 239–260
Rotman, J. J. (1988). An introduction to algebraic topology. Graduate texts in mathematics (Vol. 119). New York: Springer.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Marquis, JP. Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics. Synthese 190, 2141–2164 (2013). https://doi.org/10.1007/s11229-011-9962-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-011-9962-0