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 braindump on this https://github.com/adamnemecek/adjoint
I also have a discord https://discord.gg/mr9TAhpyBW