Euler's continuum functorially vindicated

DOI10.1007/978-94-007-0214-1_13MaRDI QIDQ2909759zbMATH OpenOpenAlexFDO

Authors F. William Lawvere

Publication date 6 September 2012

Published in The Western Ontario Series in Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-94-007-0214-1_13

zbMATH Keywords

category theorycontinuumEulertoposinfinitesimals

Mathematics Subject Classification ID

Topoi (18B25) Nonstandard models in mathematics (03H05) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• scientific article; zbMATH DE number 3871281
• Euler and the foundations of analysis.
• scientific article; zbMATH DE number 4210075
• scientific article; zbMATH DE number 4021057
• scientific article; zbMATH DE number 177639

Cited in

(5)

• Reflections on the Axiomatic Approach to Continuity
• Bi-directional models of ``radically synthetic differential geometry
• Differential structure, tangent structure, and SDG
• scientific article; zbMATH DE number 4108696 (Why is no real title available?)
• Why the Kock-Lawvere axiom holds, and also doesn't, in the classifier of integral rigs

This page was built for publication: Euler's continuum functorially vindicated

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2909759)