2008/11/01

Notes on Categorical Functional Derivation

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

--
不是原味的 category theory…

Labels:

<< 回到主頁