Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics

DOI10.1007/s11229-011-9962-0zbMath1284.00042OpenAlexW2077495658WikidataQ115444961 ScholiaQ115444961MaRDI QIDQ2441763

Jean-Pierre Marquis

Publication date: 28 March 2014

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-011-9962-0

zbMATH Keywords

category theoryalgebraic geometryphilosophy of mathematicshomotopy theory

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

Related Items

Set Theory and Structures ⋮ Identity and intensionality in univalent foundations and philosophy ⋮ Univalent foundations as structuralist foundations ⋮ A meaning explanation for HoTT

Cites Work

• Structuralism as a philosophy of mathematical practice
• Sheaves in geometry and logic: a first introduction to topos theory
• Algebraic topology from a homotopical viewpoint
• Atoms of topology
• Tool and object. A history and philosophy of category theory
• Individuation of objects -- a problem for structuralism?
• Lectures on N-Categories and Cohomology
• Homotopy theoretic models of identity types
• Birational geometry old and new
• General Theory of Natural Equivalences
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item