4 ms·
Could you please provide some links to these efforts for turning diagrams into proofs, please?
by xvilka 7y ago
Could you please provide some links to these efforts for turning diagrams into proofs, please?
- formalsystem 7y ago1. This was one of my favorite intro to category theory books, will make you familiar with the general language http://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf http://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf 2. After skimming 1, check out Algebra Chapter 0 which uses Category Theory and diagrams to prove various theorems from Abstract Algebra (Hard read) https://www.amazon.com/Algebra-Chapter-Graduate-Studies-Mathematics/dp/0821847813 https://www.amazon.com/Algebra-Chapter-Graduate-Studies-Math...