Figures, formulae, and functors

DOI10.1007/978-3-0348-0600-8_9MaRDI QIDQ2948610zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

category theoryrepresentationmathematical practicepicture proofs

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 1683527 (Why is no real title available?)
• scientific article; zbMATH DE number 3152563 (Why is no real title available?)
• scientific article; zbMATH DE number 5505771 (Why is no real title available?)
• scientific article; zbMATH DE number 54046 (Why is no real title available?)
• scientific article; zbMATH DE number 1317261 (Why is no real title available?)
• scientific article; zbMATH DE number 1077335 (Why is no real title available?)
• scientific article; zbMATH DE number 1955467 (Why is no real title available?)
• scientific article; zbMATH DE number 2000106 (Why is no real title available?)
• scientific article; zbMATH DE number 1461211 (Why is no real title available?)
• scientific article; zbMATH DE number 194754 (Why is no real title available?)
• scientific article; zbMATH DE number 1385416 (Why is no real title available?)
• scientific article; zbMATH DE number 2107182 (Why is no real title available?)
• scientific article; zbMATH DE number 794693 (Why is no real title available?)
• scientific article; zbMATH DE number 918108 (Why is no real title available?)
• scientific article; zbMATH DE number 3289061 (Why is no real title available?)
• scientific article; zbMATH DE number 2229038 (Why is no real title available?)
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS
• Category Theory
• Philosophy of mathematics. A contemporary introduction to the world of proofs and pictures
• Plato's ghost. The modernist transformation of mathematics
• Representation and productive ambiguity in mathematics and the sciences
• Tracking reason. Proof, consequence, and truth
• Vector analysis
• Visual thinking in mathematics. An epistemological study
• Visualization, explanation and reasoning styles in mathematics. Based on the meeting on mathematics as rational activity, Roskilde, Denmark, November 1--3, 2001

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)