Re: [其他] 請推薦 category 相關書籍

[recorriendo (孟新)]

※ 引述《favoright ()》之銘言：
: 小弟讀代數的時候發現
: 用範疇的概念來敘述事情真的有一種站在高處眺望的感覺
: 因此想深入的了解一下這套理論
: 同時也希望有大量的例子來捕捉這種感覺
: 另外也不希望只是學到一種"很炫"的語言
: 而是真的可以利用它來做事情(不僅僅是表達方面)
: 請大家推薦這方面的專書
: 並大概的簡介其優缺點
: 謝謝各位兄台!


用到Category的領域非常多

所以一般來說作者都會在自己專精的領域背景下介紹


Category在數學上很多代數或代數拓樸的課本就有專門一章介紹了

像我覺得Hungerford那本代數和MacLane那本代數裡的Category Theory都講得不錯


除了代數或代數拓樸Category theory另一個廣為人知的應用是functional programming

去找一些比較進階的程式語言理論的書這應該是必備內容


另外 Category theory 也在邏輯, 證明論理有很多應用

下面兩篇文章算是從這個角度出發 寫給新手的導讀(從最基本的category開始介紹)

我覺得都滿有趣的

Introduction to Categories and Categorical Logic

http://arxiv.org/abs/1102.1313

Physics, Topology, Logic and Computation: A Rosetta Stone

http://arxiv.org/abs/0903.0340


你會發現不同領域的人談category有時候看起來像是在講完全不同的東西XD

這也是為什麼一個"標準"教科書的原因

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 128.12.24.136
→ herstein    :所以看點基本的東西就夠了....
→ recorriendo :不同人對"基本"的定義不一樣 我PO的兩篇文章是一堆老
→ recorriendo :師跟我說category theory最基本的入門
→ chy1010     :推推~~~~
推 favoright   :感謝你!
推 herstein    :我的意思是一般的人看基本的就是看代數書的就夠了
→ herstein    :至於想深入的學究應該看自己想學甚麼領域再決定