Diagrams as sketches

DOI10.1007/S11229-011-9986-5MaRDI QIDQ375288zbMATH OpenOpenAlexFDO

Authors Brice Halimi

Publication date 29 October 2013

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-011-9986-5

zbMATH Keywords

semanticsformal proofcategorical diagramsmathematical diagramspictorialismsketch theory

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Graphs, diagram schemes, precategories (18A10) Sketches and generalizations (18C30)

Recommendations

• scientific article; zbMATH DE number 3895265
• A sketch theoretical survey. Towards a typology of mathematical structures
• And so on \dots : reasoning with infinite diagrams
• Diagrams in mathematics
• Sketches

Cites work

• scientific article; zbMATH DE number 149413 (Why is no real title available?)
• scientific article; zbMATH DE number 1478715 (Why is no real title available?)
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Naturalism, Pictures, and Platonic Intuitions
• On limit-preserving functors

Cited in

(13)

• The Classificatory Function of Diagrams: Two Examples from Mathematics
• scientific article; zbMATH DE number 149413 (Why is no real title available?)
• Figures, formulae, and functors
• A sketch theoretical survey. Towards a typology of mathematical structures
• Diagrams in the theory of differential equations (eighteenth to nineteenth centuries)
• scientific article; zbMATH DE number 1231576 (Why is no real title available?)
• Internal diagrams and archetypal reasoning in category theory
• scientific article; zbMATH DE number 1088533 (Why is no real title available?)
• scientific article; zbMATH DE number 3940771 (Why is no real title available?)
• Diagrams and gestures. Mathematics, philosophy, and linguistics
• scientific article; zbMATH DE number 1787140 (Why is no real title available?)
• Diagrams and torsors
• `Chasing' the diagram -- the use of visualizations in algebraic reasoning

This page was built for publication: Diagrams as sketches

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