So you are in favor of integral notation for coends? Why not a sum-sigma instead? Product-pi made it, but as you say, there's simply no pendant for calculus. Maybe it became an integral-s because sigma appears in logic, as symbol set and elsewhere.
Context, where I give up on writing the perfect coend explainer, because I have more questions:
https://mathstodon.xyz/@RefurioAnachro/117237458422243698
Bartosz Milewski (npub1glg…tqzy)
Refurio Anachro
npub17l…e5ctv
2026-09-09 14:01:04 UTC
in reply to nevent1q…shjy
Author Public Key
npub17lwktvf6fa9mlehaafftx3a78ge47js4pxd25qvm0wdl80dqtn7sde5ctvPublished at
2026-09-09 14:01:04 UTCEvent JSON
{
"id": "aaf1b3cbaa0eede300f729b69229679ccbf73dce9822d8a208927b2b469659c6",
"pubkey": "f7dd65b13a4f4bbfe6fdea52b347be3a335f4a15099aaa019b7b9bf3bda05cfd",
"created_at": 1788962464,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@RefurioAnachro/117241444091997408",
"web"
],
[
"p",
"47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53"
],
[
"e",
"ecd0b038b99f7cb53d69288d96db753bb1778e5cf9422b7e032b6a4ba125e4b9",
"",
"root",
"47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53"
],
[
"proxy",
"https://mathstodon.xyz/users/RefurioAnachro/statuses/117241444091997408",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/RefurioAnachro/statuses/117241444091997408",
"pink.momostr"
],
[
"-"
]
],
"content": "So you are in favor of integral notation for coends? Why not a sum-sigma instead? Product-pi made it, but as you say, there's simply no pendant for calculus. Maybe it became an integral-s because sigma appears in logic, as symbol set and elsewhere.\n\nContext, where I give up on writing the perfect coend explainer, because I have more questions:\nhttps://mathstodon.xyz/@RefurioAnachro/117237458422243698\n\nnostr:npub1glgxnwfzwxpvj3l6d96vxttum7rkfav3dmcwdkyqz9eqkt83mdfsaxtqzy",
"sig": "e43c288b006ce8a246995f26587a6d6aeba0b32da64d57ae0e06599b5cceaff597544d31edebbf8ce4123d14dba101f0dfa1d2f83604c37bdfaf2ebd880a50c5"
}