Notes on Categorical Functional Derivation

這是下星期五打算講的東西，除了最後的 "derivation examples" 之外，內容是 AoP chapter 2 的 "very proper" subset。目標很明確是 initial types，所以對理解 initial types 沒有立即幫助的東西（例如 natural transformations）都被毫不猶疑地丟掉了 XD。

--
不是原味的 category theory…