加菜

原本打算在上星期五講完的例子延到這週講，但我覺得應該不太夠，勢必得找點東西預備著塞時間。中選的是〈When is a function a fold or an unfold?〉，應該是不太難又挺有趣的定理。只是我現在看它的證明敘述很不順眼，試圖重寫中 XD。

--
不過我還看不出來它定義的 kernel 和代數上如 group homomorphism 的 kernel 有什麼關係 XD。