> Your example for the application of the "functor" concept is trivial enough that it doesn't need category theory. That's kind of the point. > "Perhaps the p

> Your example for the application of the "functor" concept is trivial enough that it doesn't need category theory. That's kind of the point. > "Perhaps the purpose of categorical algebra is to show that which is trivial is trivially trivial." That is, category theory aids in making the softer bits of mathematics look utterly natural and obvious, so that one can more easily isolate the harder nuggets and attack them with abandon ... This is a tremendous service that category theory provides" https://mathoverflow.net/questions/28788/nontrivial-theorems-with-trivial-proofs#comment172290_28797 https://mathoverflow.net/questions/28788/nontrivial-theorems... In isolation applications of category theory to programming are going to be trivial, typically. Category theory gives a language and framework for extracting trivialities so one can "attack the harder nuggets" without distraction.