Event JSON
{
"id": "aaa6793693c492b1b286aa8d149fc984695797209667e2b09348137f737fcbcf",
"pubkey": "d93cdf18e8857a5d647fbde45bcd5f82c4500db7c9ab7bf2e8016c0cd04fd5b4",
"created_at": 1735316484,
"kind": 1,
"tags": [
[
"p",
"b114a88b18a834569d6fde6ac4538e3edcf21b3cb490c16ae557fa09e6637f65",
"wss://relay.mostr.pub"
],
[
"p",
"a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"wss://relay.mostr.pub"
],
[
"e",
"80ddce75fe031afa6ba493ba79d8847eafb5a0275f6cab3f5344ce0879e3bf45",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/OscarCunningham/statuses/113725701136441746",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajsgze5g0 I'm afraid I have to agree with the LLM on this one. The kind of commutivity needed for the composition of two monads to be a monad is a distributive law https://en.wikipedia.org/wiki/Distributive_law_between_monads. This is extra structure rather than just a property. But I don't think the identity on W² is a distributive law. It doesn't obey the second diagram on that page, because Wη need not equal ηW.",
"sig": "6d6638684a74ddfcb724b1765ff656cce38fa2143d695ca0681d7b287f559a5ac7ef6192b58bba1e9204c8ac96928f380f88327e8715ab81c83eee4ab1f8b907"
}
