Re:Why I am learning category theory
by solomatov on Thursday December 01, 2022 @08:49AM
(#33816143)
Another one is a free monoid. With pair of forgetful/free monoid functors. It sounds a bit mathematical but for type T free monoid is a List<T> in a programming language with generics.
[ Parent
| on HN ]
But why do you need category theory to understand lists and monoids? They're so basic and elementary.
Re:Why I am learning category theory
by solomatov on Thursday December 01, 2022 @10:13AM
(#33817246)
You don't. You don't need category theory to understand, you need it to unify your understanding.
P.S. I don't believe programmers need to know category theory. However, it's beautiful by itself like many art.