Figures, formulae, and functors

DOI10.1007/978-3-0348-0600-8_9zbMATH Open1401.00028OpenAlexW2242377258MaRDI QIDQ2948610FDOQ2948610

Authors: Zach Weber 

Publication date: 6 October 2015

Published in: Visual Reasoning with Diagrams (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-0348-0600-8_9

Recommendations

• Interpreting Diagrammatic Reasoning – Between Empiricism and Realism
• Category Theory and Philosophy
• Diagrams as sketches
• After Euclid. Visual reasoning and the epistemology of diagrams
• The role of diagrams in mathematical arguments

zbMATH Keywords

category theoryrepresentationmathematical practicepicture proofs

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Vector analysis
• Title not available (Why is that?)
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Category Theory
• Title not available (Why is that?)
• Plato's ghost. The modernist transformation of mathematics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Visualization, explanation and reasoning styles in mathematics. Based on the meeting on mathematics as rational activity, Roskilde, Denmark, November 1--3, 2001
• Title not available (Why is that?)
• Title not available (Why is that?)
• Visual thinking in mathematics. An epistemological study
• Representation and productive ambiguity in mathematics and the sciences
• Title not available (Why is that?)
• Title not available (Why is that?)
• Philosophy of mathematics. A contemporary introduction to the world of proofs and pictures
• Tracking reason. Proof, consequence, and truth
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Foundations of Software Science and Computation Structures
• `Chasing' the diagram -- the use of visualizations in algebraic reasoning

This page was built for publication: Figures, formulae, and functors

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