nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t (nprofile…4x5t) I've been calling it a Tambara comodule, I wrote a tiny stub about it here, I noticed the connection to traces but didn't write about that part yet
https://julesh.com/forest/000D/index.xml
An equivalent but less slick definition plays a big role in an old paper of mine, "The game semantics of game theory", I called it something like a "context functor" back then
julesh
npub162…vlr5t
2025-11-23 12:30:07 UTC
in reply to nevent1q…yv4v
Author Public Key
npub162av2ljs9sm0x3t0ryrz0ucrj6a70her80m7m0lrtxg086zu73rstvlr5tSeen on
wss://relay.ditto.pubPublished at
2025-11-23 12:30:07 UTCEvent JSON
{
"id": "b31260f9422d56c4077ce0b81a5770e2b66b2d0b2f971504c412ac21c760c667",
"pubkey": "d2bac57e502c36f3456f190627f30396bbe7df233bf7edbfe35990f3e85cf447",
"created_at": 1763901007,
"kind": 1,
"tags": [
[
"p",
"b114a88b18a834569d6fde6ac4538e3edcf21b3cb490c16ae557fa09e6637f65",
"wss://relay.ditto.pub/"
],
[
"p",
"a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"wss://relay.ditto.pub/"
],
[
"e",
"32d25ddab586ba02e84fffbfbcca19c8b3b435ceefa62e9dc06e09a51dfbf1be",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/julesh/statuses/115599016414766680",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t I've been calling it a Tambara comodule, I wrote a tiny stub about it here, I noticed the connection to traces but didn't write about that part yet\nhttps://julesh.com/forest/000D/index.xml\n\nAn equivalent but less slick definition plays a big role in an old paper of mine, \"The game semantics of game theory\", I called it something like a \"context functor\" back then",
"sig": "6ad859254079cfa29ac81925c9cd06205594a502481e30a0af7d9b61f6d591090b00de7814298c3cf7c6b4718040004d232b22ed71bd6f1f5467eb21da6db4d0"
}