fl on Nostr: nprofile1q…0qmju It reminds me Dr Eugenia Cheng who wrote in "The Joy of ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqch8hfpny6tp95jqut4smklg3nx2h93dvvw6x4jsaqzwj8u6az9lq40qmju (nprofile…qmju) It reminds me Dr Eugenia Cheng who wrote in "The Joy of Abstraction" that the free monoid (the category) is an operation with no extra equation at all.