In computing you can apply Yoneda for optimizations. "Each of the steps is fairly compelling, except perhaps the second one, which rests on the Yoneda Lemma"

In computing you can apply Yoneda for optimizations. "Each of the steps is fairly compelling, except perhaps the second one, which rests on the Yoneda Lemma" see "Kan Extensions for Program Optimisation" https://www.cs.ox.ac.uk/ralf.hinze/Kan.pdf https://www.cs.ox.ac.uk/ralf.hinze/Kan.pdf