計算機科學中的範疇論

《計算機科學中的範疇論》是由中國科學技術大學出版社出版的一部教育作品，作者是陳意雲。

基本介紹

• 作者：陳意雲
• ISBN：9787312004100
• 頁數：271
• 定價：6.00
• 出版社：中國科學技術大學出版社
• 出版時間：1993-2
• 裝幀：平裝

內容介紹

範疇論是近十年來興起的計算機科學前沿研究打向之一，前景廣闊．本

書作者對這一領域做了很多研究工作．80年末,在美國期間收集了最新的有

關資料．在此基礎上寫成的本書反映了範疇論作為工具套用於計算機科學的

最新情況．

書中首先介紹代數規範的基本知識和一些泛代數的知識，然後系統地介

紹了範疇論的主要內容：範疇、函子、自然變換、積與和、極限和余極限、伴隨、

笛卡兒封閉的範疇和素描等，並通過很多例子．介紹了範疇論在程式設計語

言的語義、λ演算、論域理論、演繹系統和形式規範等方面的套用．各章節岳

面附有習題．

本書可作為計算機專業的高年級本科生、研究生的教材．亦可供從事計

算機科學研究和開發的科技人員參考．