tailieunhanh - Category Theory for the Sciences - David I. Spivak 2

(BQ) This book extols the virtues of a new branch of mathematics, category theory, which was invented for powerful communication of ideas between different fields and subfields within mathematics. By powerful communication of ideas I mean something precise. Different branches of mathematics can be formalized into categories. These categories can then be connected by functors. And the sense in which these functors provide powerful communication of ideas is that facts and theorems proven in one category can be transferred through a connecting functor to yield proofs of analogous theorems in another category. A functor is like a conductor of mathematical truth. | Category Theory for the Sciences - David I. Spivak 2

TỪ KHÓA LIÊN QUAN