Game

本來我想等到某個（或是某些）特定事件發生才貼文，結果還是自己撐不住。隨便貼個小練習充版面：

其中唯一沒收錄在 AoP 的性質是

<(p -> f1, f2), (p -> g1, g2)> = (p -> <f1, f2>, <g1, g2>)

不過這是 exchange law 的簡單 corollary。然後 cat . (wrap × id) = cons 其實也不是 by definition，不過不管啦。

--
玩不到一半（大概吧，說不定快完了）就覺得這遊戲有點無味了…