What's crazy to me is that the idea of linearizability is essentially the same as the idea of fixed-points or dimensionality reduction. I have been collecting

What's crazy to me is that the idea of linearizability is essentially the same as the idea of fixed-points or dimensionality reduction. I have been collecting some links on this topic https://github.com/adamnemecek/adjoint https://github.com/adamnemecek/adjoint