nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyqjv3gcv7ak6rc7svzew2rdes6qwtqxa6efl0c2rgv2m0ys7jyge5n70775 (nprofile…0775)
For co-Para, you would use the co-presheaf enrichment:
\[ M \xrightarrow{b \otimes -} C \xrightarrow{C(a, -)} Set \]
In fact you could combine these into a profunctor enrichment:
\[ M^{op}\times M \xrightarrow{(a \otimes -) \times (b \otimes =)} C^{op}\times C \xrightarrow{C(-, =)} Set \]
Bartosz Milewski
npub15c…wczp5
2025-11-11 12:27:09 UTC
in reply to nevent1q…nf2x
Author Public Key
npub15c9gsd6d3cw0pyk8a2fkv248snan8vl8t0nhy5qhqvhxj20tch2swwczp5Seen on
wss://relay.ditto.pubPublished at
2025-11-11 12:27:09 UTCEvent JSON
{
"id": "63c55c5ddc5b6b132b0e6ed46835c477090dea20a98f2b355bfab8aa321770a4",
"pubkey": "a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"created_at": 1762864029,
"kind": 1,
"tags": [
[
"p",
"24c8a30cf76da1e3d060b2e50db98680e580ddd653f7e1434315b7921e91119a",
"wss://relay.ditto.pub/"
],
[
"p",
"ec28ee666e32c345251657356d9da3023cf1387d87ae37a0a84803a4a77d9344",
"wss://relay.ditto.pub/"
],
[
"e",
"eeaeb76093992f013dfabb522d95b46b36e13f49eec4dcfb8495a4dcd4b9cc94",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/BartoszMilewski/statuses/115531057065856125",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyqjv3gcv7ak6rc7svzew2rdes6qwtqxa6efl0c2rgv2m0ys7jyge5n70775 \nFor co-Para, you would use the co-presheaf enrichment:\n\\[ M \\xrightarrow{b \\otimes -} C \\xrightarrow{C(a, -)} Set \\]\nIn fact you could combine these into a profunctor enrichment:\n\\[ M^{op}\\times M \\xrightarrow{(a \\otimes -) \\times (b \\otimes =)} C^{op}\\times C \\xrightarrow{C(-, =)} Set \\]",
"sig": "426ffcbe95762ded5aaef45dbade48d12f9b1faa1fec4c715360b95d16bb9b5db4f9ba5f9d6c4450ac0ae4e556400becdbb3b3d9cb5934eec13b881b26ad3fa6"
}