Nope, can&#x27;t be done. You&#x27;d basically need to build up an entirely different language for manipulating symbols to even make any sense of it. That new language would look very much like ML, Coq, Agda, Haskell, etc.<p>I think people forget that it&#x27;s ok to not know any of this stuff. You can spend an entire lifetime writing nothing but Java and you won&#x27;t miss out on anything.<p>There is no reason to understand this beyond the technical challenge of understanding it. It will never be useful in any actual day-to-day software engineering endeavor because whatever you can do with the Yoneda lemma you can do without it and the Yoneda lemma does not make the solution any better, it does not make reasoning about large scale dynamic systems any easier, and it will not make your software less prone to bugs.