Strong Homomorphisms, Category Theory, and Semantic Paradox. - Jonathan Wolfgram; Roy T. Cook (Rev. Symb. Log., 2022)