3 ms·
I think that the most important idea of math, programming, physics etc is the idea of fixed points which is predicated on the idea of nilpotence. Fixed points
by adamnemecek 4y ago
I think that the most important idea of math, programming, physics etc is the idea 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
- layer8 4y agoCorrected link: https://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theorem https://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theore...
- adamnemecek 4y agoFixed.
- lkuty 4y agoPoint.
- deleted 4y ago[deleted]