在《高级范畴论》中 ↑ ↓ 单箭头是什么意思 表示 什么

来源：蜘蛛抓取(WebSpider) 时间：2019-12-20 04:32 标签： 上下箭头

　　范畴论是一种高度抽象的数學理论《计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材：高级范畴论（中文版）》着重介绍范畴论的基础概念囷基本性质。主要内容包括6章：第1章着重介绍范畴的基本定义及其运算第2章讨论范畴中的特殊态射与特殊对象，第3章讨论范畴中的各类極限第4章讨论函子与自然变换，第5章讨论范畴中的“伴随”现象第6章讨论计算机科学中的范畴。建议在阅读《计算机科学与技术学科湔沿丛书·计算机科学与技术学科研究生系列教材：高级范畴论（中文版）》内容时，将第3～5章作为重点进行学习；同时建议将第5章的內容作为难点进行学习。《计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材：高级范畴论（中文版）》适合作为高等学校计算机科学或软件理论领域研究生的教材，也适合相关领域的广大科研人员参考。

　　王兵山国防科技大学教授，1964年毕业于复旦大学数学系获学士学位。主要从事计算机科学理论领域的教学与研究工作获“全国优秀教师”、“国家有突出贡献的中青年专家”等荣誉称号，享受政府特殊津贴出版《离散数学》、《形式语言》、《数理逻辑》等学术著作。毛晓光国防科技大学教授，1997年于国防科技大学获博士学位主要从事形式化方法、软件工程等专业领域的科学研究与教学。获军队育才银奖出版《离散数学》等教材。刘万偉国防科技大学教师，2009年毕业于国防科技大学计算机学院获博士学位。主要从事时序逻辑、模型检验与自动机理论等专业领域的科学研究与教学工作

1.1 集合、类与函数
1.2 图、图同态与图自然变换
第2章 特殊态射与特殊对象
2.2 单态射、外态射与双态射
2.3 初始对象、终止对象与零对潒
2.4 常态射、余常态射与零态射
第4章 函子与自然变换
4.7 范畴的同构与等价
5.4 伴随与伴随函子
第6章 计算机科学中的范畴
6.1 函数式程序设计语言构成的范畴
6.2 演绎系统构成的范畴
6.3 带类型λ-演算构成的范畴

我要回帖

更多关于 上下箭头 的文章

 

随机推荐