“The essential virtue of category theory is as a discipline for making definitions, and making definitions is the programmer’s main task in life.”

From Computational Category Theory

(832) 422-8646

“The essential virtue of category theory is as a discipline for making definitions, and making definitions is the programmer’s main task in life.”

From Computational Category Theory

I have to disagree with this. Implementing maintainable solutions to real problems is the programmer’s main task in life. The same is not typically said about practitioners of category theory.