Content deleted Content added
Ancheta Wis (talk | contribs) →Monad versus monoid: new section |
→Permutation?: new section |
||
Line 177:
Talk for [https://en.wikipedia.org/w/index.php?title=Monad_(functional_programming)&curid=579061&diff=1183880921&oldid=1183845787 BRD] -- [[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| (talk]] [[Special:Contributions/Ancheta Wis| | contribs)]] 02:03, 7 November 2023 (UTC)
== Permutation? ==
It was added at https://en.wikipedia.org/w/index.php?diff=438062307 that the monoid being "non-commutative and idempotent" implies permutation. I think the property as described cannot mean "free and idempotent", as [a, b, a] wouldn't be called a permutation. Is there a way to clarify the property to really give permutations? Otherwise, is it even meaningful to name the collection type arising from free and idempotent monoid? [[User:J824h|Junghyeon Park]] ([[User talk:J824h|talk]]) 04:27, 11 December 2023 (UTC)
|