Neel Krishnaswami's answer to [*Halting problem, uncomputable sets: common mathematical proof?*  on CSTheory](https://cstheory.stackexchange.com/questions/10635/halting-problem-uncomputable-sets-common-mathematical-proof/10636#10636) points to references connecting the above results under the umbrella of category theory.