4 ms·
It depends on what you mean by introduction. I think the Typeclassopedia entry on Semigroups and Monoids is pretty good, if you are familiar with basic Haskell
by colonwqbang 7y ago
It depends on what you mean by introduction. I think the Typeclassopedia entry on Semigroups and Monoids is pretty good, if you are familiar with basic Haskell syntax.
https://wiki.haskell.org/Typeclassopedia#Semigroup https://wiki.haskell.org/Typeclassopedia#Semigroup
- s5ma6n 7y agoThanks for the link. I am not good with Haskell but I meant in general mathematical / algebraic introduction, explanation or a lecture.
- mgradowski 7y agoIn abstract algebra there really is a hierarchy of group-like-structures with different levels of symmetry (see the table in [1]), and a monoid is one of such structures. I've had some luck with the first chapter of this (free) [2] book, although they explain groups and not monoids but for me it was then rather quick to gain intuition about monoids. [1] https://en.wikipedia.org/wiki/Monoid#Relation_to_category_theory https://en.wikipedia.org/wiki/Monoid#Relation_to_category_th... [2] https://web.evanchen.cc/napkin.html https://web.evanchen.cc/napkin.html
- JCoder58 7y agoTry this online book by Bartosz Milewski: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
- colonwqbang 7y agoHe also has lectures on YouTube which are great.