天書

看了影片學會 Yoneda embedding，也從字面讀懂 Yoneda lemma 了。可是還是完全看不懂 Martin Hofmann 在寫什麼啊 XD。

--
或者說就算看懂也不知道該怎麼用 XD。