Summary of Truth about Types, a talk by Bartosz Milewski
Intro 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...