Morphism comments on Diagonalization Fixed Point Exercises