The underlying idea is the idea of fixed points (aka spectra, diagonalizations, embedding, invariants, braids). By fixed point I mean something like the "Lawvere's fixed point theorem". https://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theore...

I have a linkdump on this

https://github.com/adamnemecek/adjoint

I also have a discord https://discord.gg/mr9TAhpyBW

I knew Craige Schensted left his mark on the subject; I had no idea his wife (Irene Verona Schensted) had written a book about it! (well, I think it's about it; it's not on libgen...)

Awesome! Thank you!