Bartosz Milewski on Nostr: I just realized that my whole adult life I've been studying precategories. In an ...
I just realized that my whole adult life I've been studying precategories. In an "actual" category, if \(a \cong b\) then \(a = b \).
Bartosz Milewski
npub1gl…xtqzy
2025-06-27 13:10:09 UTC
Author Public Key
npub1glgxnwfzwxpvj3l6d96vxttum7rkfav3dmcwdkyqz9eqkt83mdfsaxtqzySeen on
wss://relay.momostr.pinkPublished at
2025-06-27 13:10:09 UTCEvent JSON
{
"id": "5d33620467cb44415f5e39290f60efd8e134867b1badc6ece3f271253033879a",
"pubkey": "47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53",
"created_at": 1751029809,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@BartoszMilewski/114755489571004538",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/BartoszMilewski/statuses/114755489571004538",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/BartoszMilewski/statuses/114755489571004538",
"pink.momostr"
],
[
"-"
]
],
"content": "I just realized that my whole adult life I've been studying precategories. In an \"actual\" category, if \\(a \\cong b\\) then \\(a = b \\).",
"sig": "ebb014f25fc7a0ad6774ec485e8b325f2399a00219f33462f1a6a5dc60a6a839949258edc9df93d01b62bcbe817816155a629b310acdfd40a6f7834c20ca4f5e"
}