3 ms·
The underlying idea is the idea of fixed points (aka spectra, diagonalizations, embedding, invariants). By fixed point I mean something like the "Lawvere's fix
by adamnemecek 4y ago
The underlying idea is the idea of fixed points (aka spectra, diagonalizations, embedding, invariants).
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...
Dennis Gabor's Holonomic brain theory also indicates something like that
https://en.wikipedia.org/wiki/Holonomic_brain_theory https://en.wikipedia.org/wiki/Holonomic_brain_theory
I have a linkdump 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
- data_maan 4y agoWhy do you invocate a categoric theorem when the theory that is discussed on Quanta has a manifestly non-category-theoretic flavor?...
- adamnemecek 4y agoBecause it ties it into a larger ecosystem.
- data_maan 4y agoWell... this is kind of a problem with category theory, isn't it? Almost every can be categorified (which, I know, is insanely popular these days). But outside of pure mathematics I'm having trouble seeing why such a categorification is really useful. Yes, it can be nice, but it often seems more like linguistic exercise than providing crucial insight.