Diagrams as sketches

DOI10.1007/s11229-011-9986-5zbMath1274.00017OpenAlexW2072729008MaRDI QIDQ375288

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)

Related Items

‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING

Cites Work

• Unnamed Item
• Unnamed Item
• On limit-preserving functors
• Naturalism, Pictures, and Platonic Intuitions
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: Diagrams as sketches