nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqknzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqaufa4k (nprofile…fa4k)
If it actually did what it said was going to do, it could have solved the problem. There is (up to equivalence) only one monoidal category V such that the category of truth values is equivalent to the category of V-enriched categories, and that's the answer. But of course it doesn't know how to reason through that.
TobyBartels
npub1kp…gr9jw
2025-03-11 05:43:10 UTC
in reply to nevent1q…5ck8
Author Public Key
npub1kpf5nh0jvj3ygrlz3zw2s2qvy2dpdp5zdlwnl2nqujugfugumkfqngr9jwPublished at
2025-03-11 05:43:10 UTCEvent JSON
{
"id": "3b7c7f1388b97581c1777e057d6db74ad37e4a3b9851e96c900d6c1f59424674",
"pubkey": "b05349ddf264a2440fe2889ca8280c229a1686826fdd3faa60e4b884f11cdd92",
"created_at": 1741671790,
"kind": 1,
"tags": [
[
"p",
"b4c50e1bc1d7c4e1372d0c767c4705509f070b0f3109447d90cd0eb34a992896",
"wss://relay.mostr.pub"
],
[
"p",
"f7346eb283902ada9d21c109a93e83128d9f87d8fcfe70ad819b3bf2ad9bce16",
"wss://relay.mostr.pub"
],
[
"e",
"f7076597fd0bda455cbb81cd69b2af57673e601bc138ef6af5e6142f5c2a3d9c",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/TobyBartels/statuses/114142202431617690",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqknzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqaufa4k\n\nIf it actually did what it said was going to do, it could have solved the problem. There is (up to equivalence) only one monoidal category V such that the category of truth values is equivalent to the category of V-enriched categories, and that's the answer. But of course it doesn't know how to reason through that.",
"sig": "3b853d97652379cfa337c92e25afc739dcc68ce40349a3bf4b9de770e828209c613c8d42d103979c5a87ffc6028e95d11ee10fc4104861fa4d20fb58d091256d"
}