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