- the integral is a *limit* of a sum! 😬 That's confusing here, since this use of the word "limit" has relatively little to do with the connection between
coends
colimits
sums
or
ends
limits
products
Refurio Anachro (npub17lw…5ctv)
John Carlos Baez
npub1nf…3nqe4
2026-09-09 15:28:06 UTC
in reply to nevent1q…s5zk
Author Public Key
npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4Published at
2026-09-09 15:28:06 UTCEvent JSON
{
"id": "4f5aeef6cccebc9fe19fc7bf42af91de76b216463b017635b76c0ad9fa00e38c",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1788967686,
"kind": 1,
"tags": [
[
"e",
"23a5d84a94dcf9665f328f0a92a84b84c482d341fbacb989a57435542a99d732",
"",
"reply",
"47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53"
],
[
"p",
"47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53"
],
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/117241786273925779",
"web"
],
[
"p",
"f7dd65b13a4f4bbfe6fdea52b347be3a335f4a15099aaa019b7b9bf3bda05cfd"
],
[
"e",
"ecd0b038b99f7cb53d69288d96db753bb1778e5cf9422b7e032b6a4ba125e4b9",
"",
"root",
"47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/117241786273925779",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/117241786273925779",
"pink.momostr"
],
[
"-"
]
],
"content": "- the integral is a *limit* of a sum! 😬 That's confusing here, since this use of the word \"limit\" has relatively little to do with the connection between\n\ncoends\ncolimits\nsums\n\nor \n\nends\nlimits\nproducts\n\nnostr:npub17lwktvf6fa9mlehaafftx3a78ge47js4pxd25qvm0wdl80dqtn7sde5ctv",
"sig": "2c49ef4605f56142491648afe83b8ccda73b317198cef122f4c8539d563eab662123a263f119c4b98fd2c3206b8e99788a0512bbb51ce26f4d34c788380b97b1"
}