Figures, Formulae, and Functors

DOI10.1007/978-3-0348-0600-8_9zbMath1401.00028OpenAlexW2242377258MaRDI QIDQ2948610

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

representationcategory theorymathematical practicepicture proofs

Mathematics Subject Classification ID

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

Related Items

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

Cites Work

• Visualization, explanation and reasoning styles in mathematics. Based on the meeting on mathematics as rational activity, Roskilde, Denmark, November 1--3, 2001
• Category Theory
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS
• Vector analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Figures, Formulae, and Functors