Diagrams as sketches

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

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

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 (13)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Figures, formulae, and functors
• Title not available (Why is that?)
• The Classificatory Function of Diagrams: Two Examples from Mathematics
• `Chasing' the diagram -- the use of visualizations in algebraic reasoning
• Title not available (Why is that?)
• Diagrams and torsors
• A sketch theoretical survey. Towards a typology of mathematical structures
• Diagrams and gestures. Mathematics, philosophy, and linguistics
• Title not available (Why is that?)
• Diagrams in the theory of differential equations (eighteenth to nineteenth centuries)
• Internal diagrams and archetypal reasoning in category theory

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)