nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajs7297ud (nprofile…97ud) I think there is some care that needs to be taken when upgrading the "removing element of a set" story to "removing an object of a category" one.
For instance, if there was another object `q` isomorphic to `p0` we removed, we'd end up with an equivalent category. So you likely want to remove the entire isomorphism class, but then I believe you run into further problems.
This thesis on Symmetric Containers (Section 2.3) goes into some detail: https://staff.math.su.se/gylterud/thesis_gylterud.pdf
Bruno Gavranović
npub1as…zm3d3
2026-01-27 16:30:15 UTC
in reply to nevent1q…eztw
Author Public Key
npub1as5wuenwxtp52fgk2u6km8drqg70zwras7hr0g9gfqp6ffmajdzqfzm3d3Published at
2026-01-27 16:30:15 UTCEvent JSON
{
"id": "80aeb2297d4eda12fc7fc95705af9c7af0b35af2fdc22bef9358265dc9d146af",
"pubkey": "ec28ee666e32c345251657356d9da3023cf1387d87ae37a0a84803a4a77d9344",
"created_at": 1769531415,
"kind": 1,
"tags": [
[
"p",
"b114a88b18a834569d6fde6ac4538e3edcf21b3cb490c16ae557fa09e6637f65",
"wss://relay.ditto.pub"
],
[
"p",
"a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"wss://relay.ditto.pub"
],
[
"e",
"ca2d65d972ad826ac761bfeb563ebb821b2873b4b9509303e4745d02c70b3c51",
"wss://relay.ditto.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/bgavran/statuses/115968010847114189",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajs7297ud I think there is some care that needs to be taken when upgrading the \"removing element of a set\" story to \"removing an object of a category\" one.\n\nFor instance, if there was another object `q` isomorphic to `p0` we removed, we'd end up with an equivalent category. So you likely want to remove the entire isomorphism class, but then I believe you run into further problems. \n\nThis thesis on Symmetric Containers (Section 2.3) goes into some detail: https://staff.math.su.se/gylterud/thesis_gylterud.pdf",
"sig": "05fe06bf1a0aafb643b6c5ed2e0c92506849de78b1dfc6b141e6c7147d5bff83da9693ceebd94cf47b7209427babe76aa54ab59e7342eaec61b1c13f272d7ced"
}