Event JSON
{
"id": "bcf452bec856a2d12a9fde763fe4f23e9ca92dcc202be6d989320f98bd98e810",
"pubkey": "f7346eb283902ada9d21c109a93e83128d9f87d8fcfe70ad819b3bf2ad9bce16",
"created_at": 1712159752,
"kind": 1,
"tags": [
[
"p",
"092dd6fadaa877d1fa67c79577957c9e3d0dc9e6e1da2cdfd7b2282bb4daa566",
"wss://relay.mostr.pub"
],
[
"p",
"3d2cba825e0e7d473ccea76fe734c6acab31fd79409c7320ca315ecd0c94595c",
"wss://relay.mostr.pub"
],
[
"e",
"7ca6d88875c3e3921c71bddb5b056d67282c99b10ebee680fc4cf20206d4ea1b",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/112208101517161179",
"activitypub"
]
],
"content": "nostr:npub1pykad7k64pmar7n8c72h09tunc7smj0xu8dzeh7hkg5zhdx654nq0acthf - in a cotopos we drop the law of noncontradiction, but sheaves form a topos, where we drop the law of excluded middle.",
"sig": "e3d6a64da33afcb7363bccb29d64507315d09920e19fa75c03e177589bf889dcaa9a4d344e26bbc319bb98168993d39619bd5112c864c2846ee171d046899865"
}
