The idea of "adjointness" is present like everywhere in math. I wrote up something on it https://github.com/adamnemecek/adjoint https://github.com/adamnemecek/a

The idea of "adjointness" is present like everywhere in math. I wrote up something on it https://github.com/adamnemecek/adjoint https://github.com/adamnemecek/adjoint.