nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr2u6559vtv0nfk2m0995f4vcahyyktsy42ay7zdztq6e2uklmwqjwwp3nn (nprofile…p3nn) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t (nprofile…4x5t) It did - the Appendix B of my thesis contains an intro and relevant constuctions of locally graded (and indexed) categories, and unpacks how one obtains Para as a change of base along the category of elements
https://arxiv.org/abs/2403.13001
npub1as…zm3d3
2025-11-10 12:11:44 UTC
in reply to nevent1q…glha
Author Public Key
npub1as5wuenwxtp52fgk2u6km8drqg70zwras7hr0g9gfqp6ffmajdzqfzm3d3Seen on
wss://relay.ditto.pubPublished at
2025-11-10 12:11:44 UTCEvent JSON
{
"id": "ae47cccfeae7bda0878670227a4940a845913895c104975f566b1c529d46b2f4",
"pubkey": "ec28ee666e32c345251657356d9da3023cf1387d87ae37a0a84803a4a77d9344",
"created_at": 1762776704,
"kind": 1,
"tags": [
[
"p",
"d5cd528562d8f9a6cadbca5a26acc76e4259702555d2784d12c1acab96fedc09",
"wss://relay.ditto.pub/"
],
[
"p",
"b114a88b18a834569d6fde6ac4538e3edcf21b3cb490c16ae557fa09e6637f65",
"wss://relay.ditto.pub/"
],
[
"p",
"a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"wss://relay.ditto.pub/"
],
[
"p",
"d2bac57e502c36f3456f190627f30396bbe7df233bf7edbfe35990f3e85cf447",
"wss://relay.ditto.pub/"
],
[
"e",
"95b79ac467572232f0478847d5a1dc88a147074af79facf07a9914a3908126f1",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/bgavran/statuses/115525334124442674",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr2u6559vtv0nfk2m0995f4vcahyyktsy42ay7zdztq6e2uklmwqjwwp3nn nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t It did - the Appendix B of my thesis contains an intro and relevant constuctions of locally graded (and indexed) categories, and unpacks how one obtains Para as a change of base along the category of elements\n\nhttps://arxiv.org/abs/2403.13001",
"sig": "e7a38b05a95231bc40e6b9469cb69e9c5899346c34960d2ba98005c6105010323f61d687a9cef4aac3f14e1fb4b82325117db0f066dd7493be520469af5642da"
}