滿額折
高級範疇論（簡體書）
- 系列名：計算機科學與技術學科前沿叢書．計算機科學與技術學科研究生系列教材
- ISBN13：9787302303428
- 出版社：清華大學出版社(大陸)
- 作者：王兵山; 毛曉光; 劉萬偉
- 裝訂／頁數：平裝／153頁
- 規格：23.5cm*16.8cm (高/寬)
- 版次：1
- 出版日：2012/12/01
人民幣定價：23 元
定 價：NT$ 138 元
優惠價：87 折 120 元
絕版無法訂購
相關商品
商品簡介
作者簡介
名人/編輯推薦
目次
書摘/試閱
商品簡介
範疇論是一種高度抽象的數學理論，《計算機科學與技術學科前沿叢書．計算機科學與技術學科研究生系列教材：高級範疇論（中文版）》著重介紹範疇論的基礎概念和基本性質。主要內容包括6章：第1章著重介紹範疇的基本定義及其運算，第2章討論範疇中的特殊態射與特殊對象，第3章討論範疇中的各類極限，第4章討論函子與自然變換，第5章討論範疇中的“伴隨”現象，第6章討論計算機科學中的範疇。建議在閱讀《計算機科學與技術學科前沿叢書．計算機科學與技術學科研究生系列教材：高級範疇論（中文版）》內容時，將第3～5章作為重點進行學習；同時，建議將第5章的內容作為難點進行學習。
《計算機科學與技術學科前沿叢書．計算機科學與技術學科研究生系列教材：高級範疇論（中文版）》適合作為高等學校計算機科學或軟件理論領域研究生的教材，也適合相關領域的廣大科研人員參考。．
《計算機科學與技術學科前沿叢書．計算機科學與技術學科研究生系列教材：高級範疇論（中文版）》適合作為高等學校計算機科學或軟件理論領域研究生的教材，也適合相關領域的廣大科研人員參考。．
作者簡介
王兵山，國防科技大學教授，1964年畢業於復旦大學數學系，獲學士學位。主要從事計算機科學理論領域的教學與研究工作。獲“全國優秀教師”、“國家有突出貢獻的中青年專家”等榮譽稱號，享受政府特殊津貼。出版《離散數學》、《形式語言》、《數理邏輯》等學術著作。
毛曉光，國防科技大學教授，1997年于國防科技大學獲博士學位。主要從事形式化方法、軟件工程等專業領域的科學研究與教學。獲軍隊育才銀獎，出版《離散數學》等教材。
劉萬偉，國防科技大學教師，2009年畢業于國防科技大學計算機學院，獲博士學位。主要從事時序邏輯、模型檢驗與自動機理論等專業領域的科學研究與教學工作。．
毛曉光，國防科技大學教授，1997年于國防科技大學獲博士學位。主要從事形式化方法、軟件工程等專業領域的科學研究與教學。獲軍隊育才銀獎，出版《離散數學》等教材。
劉萬偉，國防科技大學教師，2009年畢業于國防科技大學計算機學院，獲博士學位。主要從事時序邏輯、模型檢驗與自動機理論等專業領域的科學研究與教學工作。．
名人/編輯推薦
《計算機科學與技術學科前沿叢書?計算機科學與技術學科研究生系列教材(中文版):高級范疇論》適合作為高等學校計算機科學或軟件理論領域研究生的教材，也適合相關領域的廣大科研人員參考。
目次
第1章 範疇及其運算
1.1 集合、類與函數
1.2 圖、圖同態與圖自然變換
1.3 範疇的定義
1.4 範疇的例子
1.5 範疇的運算
第2章 特殊態射與特殊對象
2.1 section、retraction與同構態射
2.2 單態射、外態射與雙態射
2.3 初始對象、終止對象與零對象
2.4 常態射、餘常態射與零態射
第3章 範疇中的極限
3.1 等子和餘等子
3.2 積和餘積
3.3 回拉和外推
3.4 核和餘核
3.5 極限和餘極限
第4章 函子與自然變換
4.1 函子
4.2 多元函子
4.3 hom-函子
4.4 函子的性質
4.5 自然變換
4.6 自然變換的*-積
4.7 範疇的同構與等價
第5章 伴隨
5.1 Galois對應
5.2 泛映射
5.3 餘泛映射
5.4 伴隨與伴隨函子
5.5 伴隨的存在性
5.6 伴隨與極限
第6章 計算機科學中的範疇
6.1 函數式程序設計語言構成的範疇
6.2 演繹系統構成的範疇
6.3 帶類型λ-演算構成的範疇
參考文獻．
1.1 集合、類與函數
1.2 圖、圖同態與圖自然變換
1.3 範疇的定義
1.4 範疇的例子
1.5 範疇的運算
第2章 特殊態射與特殊對象
2.1 section、retraction與同構態射
2.2 單態射、外態射與雙態射
2.3 初始對象、終止對象與零對象
2.4 常態射、餘常態射與零態射
第3章 範疇中的極限
3.1 等子和餘等子
3.2 積和餘積
3.3 回拉和外推
3.4 核和餘核
3.5 極限和餘極限
第4章 函子與自然變換
4.1 函子
4.2 多元函子
4.3 hom-函子
4.4 函子的性質
4.5 自然變換
4.6 自然變換的*-積
4.7 範疇的同構與等價
第5章 伴隨
5.1 Galois對應
5.2 泛映射
5.3 餘泛映射
5.4 伴隨與伴隨函子
5.5 伴隨的存在性
5.6 伴隨與極限
第6章 計算機科學中的範疇
6.1 函數式程序設計語言構成的範疇
6.2 演繹系統構成的範疇
6.3 帶類型λ-演算構成的範疇
參考文獻．
書摘/試閱
證明：
因為（E，e）=equ（foπ，goπ′），所以，foπoe=goπ′oe。
設P：Q→A和q：Q→B使
foP=goq
由于
πoh=P且π′oh=q
從而得到
fo丌oh=foP=goq=goπ′oh
因為（E，e）=equ（foπ，goπ′），所以有唯一的k：Q→E使eok=h，見圖3.30。
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。