I had a whole blog post about this.
https://bartoszmilewski.com/2019/03/27/promonads-arrows-and-einstein-notation-for-profunctors/
Bartosz Milewski
npub1gl…xtqzy
2026-08-20 20:22:32 UTC
in reply to nevent1q…5c6g
Author Public Key
npub1glgxnwfzwxpvj3l6d96vxttum7rkfav3dmcwdkyqz9eqkt83mdfsaxtqzySeen on
wss://relay.momostr.pinkPublished at
2026-08-20 20:22:32 UTCEvent JSON
{
"id": "4da27ed804b40d6b43aa6e5fa9be6698caefe34a0021ab5d3f1e359c47fa0e55",
"pubkey": "47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53",
"created_at": 1787257352,
"kind": 1,
"tags": [
[
"p",
"4ad322e0ccd6b83dfc458ab7e4d2031fd076422ea6e968975e30574bdd1f8db3"
],
[
"p",
"47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53"
],
[
"proxy",
"https://mathstodon.xyz/@BartoszMilewski/117129697865992681",
"web"
],
[
"e",
"506d443185c8a1fa8d10d04ec7e704970fe176d6cc2282878d742d19532b3c98",
"",
"root",
"378fb8535da3c841fdebd0966e5a16f3d21d4e988b925e471f2d8fdf2345d2e9"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"7f379f30c86fc89b7b20b2b0b130cb054e2c791a4ccaa26df10d0e73ab738711",
"",
"reply",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"378fb8535da3c841fdebd0966e5a16f3d21d4e988b925e471f2d8fdf2345d2e9"
],
[
"p",
"f7dd65b13a4f4bbfe6fdea52b347be3a335f4a15099aaa019b7b9bf3bda05cfd"
],
[
"proxy",
"https://mathstodon.xyz/users/BartoszMilewski/statuses/117129697865992681",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/BartoszMilewski/statuses/117129697865992681",
"pink.momostr"
],
[
"-"
]
],
"content": "I had a whole blog post about this.\nhttps://bartoszmilewski.com/2019/03/27/promonads-arrows-and-einstein-notation-for-profunctors/",
"sig": "787621a8aa838474d6dc0140c5abbb3df67f06004daae947f8733453dbff1396662927b4a408b3cc8ed1c2310b7a6cab8fe7e26d8e4c7dd9829843533362adea"
}