Bartosz Milewski on Nostr: Here's a crazy idea: Duality plays an important role in category theory. You can ...
Here's a crazy idea: Duality plays an important role in category theory. You can produce a mirror image of a category by reversing all its arrows. It's like a discrete symmetry. Can we make it into a continuous symmetry? With a parameter going from 0 (original category) to 1 (opposite category). We would fade out the original arrows and fade in the reversed ones. The intermediate state would be some kind of enriched category. We could then interpolate between limits and colimits, left and right Kan extensions, etc.
Published at
2024-10-09 09:18:32Event JSON
{
"id": "a574fba6e7dcbd7c161e325818d602a3726322187c66eda62bdb4455ba55fed2",
"pubkey": "a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"created_at": 1728465512,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/BartoszMilewski/statuses/113276715845574430",
"activitypub"
]
],
"content": "Here's a crazy idea: Duality plays an important role in category theory. You can produce a mirror image of a category by reversing all its arrows. It's like a discrete symmetry. Can we make it into a continuous symmetry? With a parameter going from 0 (original category) to 1 (opposite category). We would fade out the original arrows and fade in the reversed ones. The intermediate state would be some kind of enriched category. We could then interpolate between limits and colimits, left and right Kan extensions, etc.",
"sig": "b2e0c2afa3be85f1c88aa4f5d63bd1f04b70d1886678ab2c1aa4b6ecc2fab545b28512ef12d007306c74666326c16024ba13e19513e3273e9ea5bee8a17a2ca2"
}