Damus

Recent Notes

Bartosz Milewski profile picture
Tannakian reconstruction is both profound and trivial. Consider a presheaf on C:
𝐹:𝐢ᡒᡖ→𝑆𝑒𝑑 .
It's value at some object a is the set Fa. Now vary F but keep a fixed. You get a functor from the category of presheaves to Set.
Φₐ:[𝐢ᡒᡖ,𝑆𝑒𝑑]→𝑆𝑒𝑑
Φₐ𝐹=πΉπ‘Ž
This is often called a fiber functor. Now fix another object b. What can you say about the set of natural transformations between two fiber functors?
\[ [[C^{op}, Set], Set] (\Phi_a, \Phi_b) \cong \int_F (F a \to F b)\]
The end here is taken over all possible presheaves. It's a gigantic product, so it's enough that one of its components is empty to make the whole end empty.

So what prevents us from picking a presheaf that's non-empty over a and empty over b? There is no function from a non-empty set to an empty one, so the whole end would end up empty. One bad apple spoils the whole batch.

Except that we can't do it if there is a morphism 𝑓:π‘Žβ†’π‘ in C. Functoriality of F means that there always is a function
𝐹𝑓:πΉπ‘Žβ†’πΉπ‘
In fact, it can be shown (using a double Yoneda trick) that there is a one to one correspondence between the homset C(a, b) and the set of natural transformations between fiber functors:
\[ \int_F (F a \to F b) \cong C(a, b)\]
So that's the Tannakian reconstruction in the categorical language. It's simplest application is for C a single-object category, i.e. a monoid. We can reconstruct the monoid (the hom-set) from its representations (the presheaves).
Bartosz Milewski profile picture
The paradox of the stone: "Could God create a stone so heavy that even he could not lift it?" was solved by Grothendieck by introducing an infinite tower of gods. The God of the n'th universe can only create stones that he can lift. But the God from the n+1 universe can create an unliftable stone for the God from the n'th universe, and so on.
1
julesh · 23w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajs7297ud There is a better resolution using type-in-type: an omnipotent God can create a stone so heavy that they can't lift it, and then they can lift it
Bartosz Milewski profile picture
Cell complex -- something you get when your friend can afford the newest version of the iPhone and you can't.

Also: an object in a category which is obtained by successively β€œgluing cells” via pushouts.
E · 23w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajs7297ud like health, it also only works when you participate
Dan Piponi · 23w
I think this is correct: For moving graphics on the ZX80 you needed to output directly from the CPU, via an I/O port, to the display, as the CRT electron beam scanned across. On high end luxury hard...
Bartosz Milewski profile picture
@nprofile1q... This brings the nostalgia of CGA programming, with the writes to the video buffer that had to be timed using PIT to corrspond to the CRT blanking intervals. You had to do the writes when the electron beam was invisibly going back after finishing a line or a frame, otherwise you'd see snow on your screen.
julesh · 24w
I begrudgingly agree with everything Macron said. I for one welcome our new French centrist overlords https://www.bbc.com/news/articles/ce8n1zdnpd3o
Bartosz Milewski profile picture
@nprofile1q...
Unfortunately Macron is very unpopular in France and people predict that RN, the party of Marine Le Pen, may win the next elections.

The main problem with unifying Europe is the lopsided power equation: Germany is the largest power, and the populist in other countries (France, in particular) don't like it. Then again, having common enemies (Russia and Trumpistan) tends to unite people.
Bartosz Milewski profile picture
The piΓ±ata effect: At the final moment of a black hole evaporation through Hawking radiation, all objects that were swallowed by it suddenly come back, thus restoring the conservation of information required by quantum mechanics.