科学家的理论范畴Category Theory for Scientists (MIT) |
|
课程网址: | http://ocw.mit.edu/courses/mathematics/18-s996-category-theory-fo... |
主讲教师: | David I. Spivak |
开课单位: | 麻省理工学院 |
开课时间: | 2013-01-01 |
课程语种: | 英语 |
中文简介: | 本课程的目标是证明范畴理论是一种理解和形式化一般科学模型的强大语言。语言的力量将通过它渗透到想当然的想法的能力来检验,或者通过揭露我们理解中存在的弱点或缺陷,或者通过突出科学领域中隐藏的共性。 |
课程简介: | The goal of this class is to prove that category theory is a powerful language for understanding and formalizing common scientific models. The power of the language will be tested by its ability to penetrate into taken-for-granted ideas, either by exposing existing weaknesses or flaws in our understanding, or by highlighting hidden commonalities across scientific fields. |
关 键 词: | 类别理论; 常用科学模型; 科学领域 |
课程来源: | 信息不详。欢迎您在右侧留言补充。 |
最后编审: | 2018-06-28:刘燕飞(课程编辑志愿者) |
阅读次数: | 71 |