Digital library
Textbooks, references and open learning resources.
External
Seven Sketches in Compositionality: An Invitation to Applied Category Theory
Brendan Fong & David I. Spivak · Massachusetts Institute of Technology
Category theory is a relatively new branch of mathematics that has transformed much of pure math research. The technical advance is that category theory provides a framework in which to organize formal systems and by which to translate between them, allowing one to transfer knowledge from one field to another. But this same organizational framework also has many compelling examples outside of pure math. In this text, we will give seven sketches on real-world applications of category theory.
External
Mathematical Reasoning: Writing and Proof, Version 2.1
Ted Sundstrom · Grand Valley State University · 2014
Mathematical Reasoning: Writing and Proofis designed to be a text for the ?rst course in the college mathematics curriculum that introduces students to the processes of constructing and writing proofs and focuses on the formal development of mathematics. The primary goals of the text are to help students: Develop logical thinking skills and to develop the ability to think more abstractly in a proof oriented setting. Develop the ability to construct and write mathematical proofs using standard methods of mathematical proof including direct proofs, proof by contradiction, mathematical induction, case analysis, and counterexamples. Develop the ability to read and understand written mathematical proofs. Develop talents for creative thinking and problem solving. Improve their quality of communication in mathematics. This includes improving writing techniques, reading comprehension, and oral communication in mathematics. Better understand the nature of mathematics and its language. This text also provides students with material that will be needed for their further study of mathematics.