3 ms·
This idea shows up in essentially all scientific fields. It’s the idea of adjointness. Together with norm, they give you the idea of fixed points, (invariants,
by adamnemecek 4y ago
This idea shows up in essentially all scientific fields. It’s the idea of adjointness. Together with norm, they give you the idea of fixed points, (invariants, spectra, embeddings, braids etc).I'm
Lawvere's fixed point theorem is I think the best formulation of the idea
https://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theorem https://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theore...
I've been putting together a brain dump on the topic
https://github.com/adamnemecek/adjoint/ https://github.com/adamnemecek/adjoint/
Join the discord https://discord.gg/mr9TAhpyBW https://discord.gg/mr9TAhpyBW
- VirusNewbie 4y agoWouldn’t adjointness be distinctly not “symmetry”, given it relies on a forgetful functor?
- adamnemecek 4y agoThe beauty is that under certain circumstances you can infer the lost things lost due to the forgetfulness of the forgetful function.