Post #1831685
2026-05-01 01:51 UTC
@slava@mathstodon.xyz @joe@f.duriansoftware.com I like the "Words To Reduce" form:
abababa ⇒ a2b2aba ⇒ a2bab2a ⇒ a3b3a ⇒ b5a ⇒ b4ab ⇒ b3ab2 ⇒ b2ab3 ⇒ bab4 ⇒ ab5
Can't say I understand what a monoid is, but seeing the term-rewriting steps are fun.
Replies (1)
-
@joe@f.duriansoftware.com 2026-05-01 05:17
@cr1901@mastodon.social @slava@mathstodon.xyz just imagine taking a monad out of the category of endofunctors