Diagrams as sketches

DOI10.1007/S11229-011-9986-5zbMATH Open1274.00017OpenAlexW2072729008MaRDI QIDQ375288FDOQ375288

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

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

zbMATH Keywords

semanticsformal proofcategorical diagramsmathematical diagramspictorialismsketch theory

Mathematics Subject Classification ID

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

Cites Work

• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• On limit-preserving functors
• Title not available (Why is that?)
• Title not available (Why is that?)
• Naturalism, Pictures, and Platonic Intuitions

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING
• The Classificatory Function of Diagrams: Two Examples from Mathematics
• Title not available (Why is that?)
• Diagrams and torsors
• Title not available (Why is that?)

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)