I have been thinking about adjointness, norm and fixed points a lot lately and it’s kind of insane how common it is https://github.com/adamnemecek/adjoint/ htt

I have been thinking about adjointness, norm and fixed points a lot lately and it’s kind of insane how common it is https://github.com/adamnemecek/adjoint/ https://github.com/adamnemecek/adjoint/