全力進攻

沒想到連 OTT 那邊也發現 HOAS 並不單純，這下只好全力進攻 Yoneda lemma 盡快看懂 HOAS paper 了。雖然 Mac Lane 的銅牆鐵壁難以攻破，但假以時日還是有機會成功的 XD。

--
下午才和 universal arrows 戰了一輪 XD。

---

讀 category theory 總是伴隨著一種特定的頭痛…

--
應該給個學名才對 XD。