Thư viện số
Giáo trình, tài liệu tham khảo và tài nguyên học tập mở.
Nguồn ngoài
Mathematical Reasoning - Writing and Proof
Ted Sundstrom · Grand Valley State University
Có trong mục lục: 01: Introduction to Writing Proofs in Mathematics · 1.S: Introduction to Writing Proofs in Mathematics (Summary) · 03: Constructing and Writing Proofs in Mathematics
Nguồn ngoài
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.