Truth about Types (Bartosz Milewski)
$1+
$1+
https://schema.org/InStock
usd
Category theory abstracts many branches of math. You can describe topology, logic, Banach spaces and other concepts in terms of category theory. Why is it so? Does category theory describe the nature, the intrinsic reality, and we happened to discover it like physicists discover the laws of the universe?
The main idea of category theory is composition. This is why it is so relevant in programming. Composition is the essence of category theory.
PDF version
PDF version on iPad
Complete illustrated summary of the talk in multiple formats.
Formats
PDF, HTML
Pages
10
Add to wishlist