[代數] 理解Natural transformation要讀多深

[vity (逍遙盃-佛得)]

大家好  有個問題想請教

我想要瞭解利用程式轉換資料各種屬性(例如型態)的數學
知道是用Natural tranformation來證明
而這屬於Category theory

翻翻Oxford University Press, 2006出版的Category theory裡面的第一章
還沒有講到Natural tranformation
似乎要到很後面的章節  Adjoint function才會講到
直接跳到那也很難跟上

懇請有這方面知識的指點書籍或理解的方式
因為發現要讀到那邊至少要兩個月

或是我直接把所有arrow就當成function
這樣能夠直接理解Natural trasformation嗎？

非常謝謝

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 1.169.168.22
※ 編輯: vity            來自: 1.169.168.22         (05/09 23:32)
※ 編輯: vity            來自: 1.169.168.22         (05/09 23:33)
推 WINDHEAD    :請洽 xcycl
推 hcsoso      :請洽 xcycl
推 herstein    :wiki寫得很好
→ xcycl       :Youtube 上的 TheCatsters 頻道上有 n.t. 的介紹
→ xcycl       :另外 MacLane 的教科書講 n.t. 很快就講到 (p.18)
→ xcycl       :但要理解 parametricity 應該是可以不透過 n.t. ..