Undecidability of the Free Adjoint Construction. - R. J. Mac Dawson; R. Paré; D. A. Pronk (Appl. Categorical Struct., 2003)