I’ve always thought that the completeness theorem was more interesting. Also I really like approaching this from Lawvere’s fixed point theorem. https://ncatlab

I’ve always thought that the completeness theorem was more interesting. Also I really like approaching this from Lawvere’s fixed point theorem. https://ncatlab.org/nlab/show/Lawvere's+fixed+point+theorem https://ncatlab.org/nlab/show/Lawvere's+fixed+point+theorem I have been thinking about some of this stuff https://github.com/adamnemecek/adjoint https://github.com/adamnemecek/adjoint Join the discord https://discord.gg/mr9TAhpyBW https://discord.gg/mr9TAhpyBW