nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyqjv3gcv7ak6rc7svzew2rdes6qwtqxa6efl0c2rgv2m0ys7jyge5n70775 (nprofile…0775) : Wouldn't a co-para construction correspond to a locally graded category over co-presheaves? I haven't done the calculation, but it seems intuitive.
nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr2u6559vtv0nfk2m0995f4vcahyyktsy42ay7zdztq6e2uklmwqjwwp3nn (nprofile…p3nn)
Bartosz Milewski
npub15c…wczp5
2025-11-10 12:45:10 UTC
in reply to nevent1q…pekv
Author Public Key
npub15c9gsd6d3cw0pyk8a2fkv248snan8vl8t0nhy5qhqvhxj20tch2swwczp5Published at
2025-11-10 12:45:10 UTCEvent JSON
{
"id": "e2f235190da3c3726e5ba2b18c4855e41a29503b389d251ecad6fb6daf365f7b",
"pubkey": "a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"created_at": 1762778710,
"kind": 1,
"tags": [
[
"p",
"24c8a30cf76da1e3d060b2e50db98680e580ddd653f7e1434315b7921e91119a",
"wss://relay.ditto.pub/"
],
[
"p",
"d5cd528562d8f9a6cadbca5a26acc76e4259702555d2784d12c1acab96fedc09",
"wss://relay.ditto.pub/"
],
[
"p",
"d2bac57e502c36f3456f190627f30396bbe7df233bf7edbfe35990f3e85cf447",
"wss://relay.ditto.pub/"
],
[
"p",
"ec28ee666e32c345251657356d9da3023cf1387d87ae37a0a84803a4a77d9344",
"wss://relay.ditto.pub/"
],
[
"e",
"ae47cccfeae7bda0878670227a4940a845913895c104975f566b1c529d46b2f4",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/BartoszMilewski/statuses/115525465564452820",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyqjv3gcv7ak6rc7svzew2rdes6qwtqxa6efl0c2rgv2m0ys7jyge5n70775 : Wouldn't a co-para construction correspond to a locally graded category over co-presheaves? I haven't done the calculation, but it seems intuitive.\n\nnostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr2u6559vtv0nfk2m0995f4vcahyyktsy42ay7zdztq6e2uklmwqjwwp3nn",
"sig": "3afa51b067ab176f885d25cdfe9d34bce6a37ca12223335c44bc52594acf120bb8b516d951542fe30bdaa71cb364a1b5aa98341b46b1daa9745fa53aab600226"
}