計算機科學中的範疇論

內容介紹

範疇論是近十年來興起的計算機科學前沿研究打向之一，前景廣闊．本
書作者對這一領域做了很多研究工作．80年末,在美國期間收集了最新的有
關資料．在此基礎上寫成的本書反映了範疇論作為工具套用於計算機科學的
最新情況．
書中首先介紹代數規範的基本知識和一些泛代數的知識，然後系統地介
紹了範疇論的主要內容：範疇、函子、自然變換、積與和、極限和余極限、伴隨、
笛卡兒封閉的範疇和素描等，並通過很多例子．介紹了範疇論在程式設計語
言的語義、λ演算、論域理論、演繹系統和形式規範等方面的套用．各章節岳
面附有習題．
本書可作為計算機專業的高年級本科生、研究生的教材．亦可供從事計
算機科學研究和開發的科技人員參考．