4 ms·
The fact that essentially all concepts in math, programming, physics etc. are just applications of fixed points which is predicated on the idea of nilpotence. F
by adamnemecek 4y ago
The fact that essentially all concepts in math, programming, physics etc. are just applications of fixed points which is predicated on the idea of nilpotence.
Fixed points go by many names like invariance, spectra, diagonalization, embedding, braids etc.
By fixed point I mean something like the "Lawvere's fixed point theorem". https://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theorem https://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theore...
I have a braindump on this https://github.com/adamnemecek/adjoint https://github.com/adamnemecek/adjoint
I also have a discord https://discord.gg/mr9TAhpyBW https://discord.gg/mr9TAhpyBW
- igravious 4y agoAlso Brouwer's fixed point theorem, and the Y combinator?