Re: [其他] 請推薦 category 相關書籍
※ 引述《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
→
11/24 20:03, , 1F
11/24 20:03, 1F
→
11/25 07:41, , 2F
11/25 07:41, 2F
→
11/25 07:41, , 3F
11/25 07:41, 3F
→
11/25 13:15, , 4F
11/25 13:15, 4F
推
11/25 14:07, , 5F
11/25 14:07, 5F
推
11/25 16:19, , 6F
11/25 16:19, 6F
→
11/25 16:20, , 7F
11/25 16:20, 7F
討論串 (同標題文章)
本文引述了以下文章的的內容:
完整討論串 (本文為第 3 之 4 篇):