2014-11-04
Dipping a Toe into Category Theory
tl;dr – Abstract nonsense Wikipedia says : Category theory is used to formalize mathematics and its concepts as a collection of objects and arrows (also called morphisms). Category theory can be used to formalize concepts of other high-level abstractions such as set theory, ring theory, and group theory. …an abstraction of mathematics itself that allows many intricate and subtle mathematical...