Sunday, August 13, 2017

Category Theory via Eugenia Cheng

For Sunday reflection, Eugenia Cheng describing 'category theory':
"This is how category theory arose, as a new piece of math to study math. In a way, category theory is an ultimate abstraction. To study the world abstractly you use science; to study math abstractly you use category theory. Each step is a further level of abstraction. But to study category theory abstractly you use category theory."

No comments: