Event JSON
{
"id": "783ec6e477e53d5eeb626a764a1c64ad06ad22d691f73edf7af98a0a7d48f81a",
"pubkey": "f7346eb283902ada9d21c109a93e83128d9f87d8fcfe70ad819b3bf2ad9bce16",
"created_at": 1723670065,
"kind": 1,
"tags": [
[
"p",
"b114a88b18a834569d6fde6ac4538e3edcf21b3cb490c16ae557fa09e6637f65",
"wss://relay.mostr.pub"
],
[
"p",
"a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"wss://relay.mostr.pub"
],
[
"e",
"082aeb488454d2d4175fae6df41fde1781726272ae8740b49208060e5bcd84fc",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/112962441441283075",
"activitypub"
]
],
"content": "nostr:npub1ky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajs5rghvc - are you claiming for each function 𝑓:ℕ→ℕ you can find a functor from FinSet to itself that sends n-element sets to f(n)-element sets?\n\nTry this one:\n\nf(100) = 1\nf(n) = 0 otherwise",
"sig": "ba582de257bdb0fe6ee729d222b38995b83b73936b5f2c3322fbf9c4837e2ff6fbcee8d02f55dc003f57923b6b3b896dc37f1247f2a306d4149b0097d552839f"
}
