3 ms·
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
by solomatov 4y ago
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.
- ogogmad 4y agoBut why do you need category theory to understand lists and monoids? They're so basic and elementary.
- solomatov 4y agoYou 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.