关于范畴论的哲学思考

发布时间：2017-10-11 00:16

  本文关键词：关于范畴论的哲学思考

  更多相关文章： 范畴论 程序语义学 同调代数 理论计算机科学 代数几何 程序指令 伴随函子 自然变换 逻辑学家 范畴逻辑

【摘要】：正范畴论产生于20世纪40年代对同调代数的研究,现在已经发展成为一门具有广泛应用的新理论。在现代数学的研究中,范畴论为日趋多样的数学分支,以及各个分支之间多样化的联系提供了一种统一的、简洁的"符号语言",已经在代数学、拓扑学、代数几何学等领域有着广泛的应用;在逻辑学的研究中,以范畴论为基础的拓扑斯(topos)理论正在发展成为现代数学全新的统一基础;在理论计算机科学的研究中,范畴论在函数程序指令、程序语义学和程序逻辑学等领域也有着广泛的应用。[1]范畴论
【作者单位】： 华北水利水电大学思想政治教育学院;
【关键词】： 范畴论;程序语义学;同调代数;理论计算机科学;代数几何;程序指令;伴随函子;自然变换;逻辑学家;范畴逻辑;
【基金】：国家社会科学基金项目“超集、双仿以及在模态逻辑、计算机科学中的作用研究”(08BZX049)资助
【分类号】：O154.1;B81
【正文快照】： 范畴论产生于20世纪40年代对同调代数的研究,现在已经发展成为一门具有广泛应用的新理论。在现代数学的研究中,范畴论为日趋多样的数学分支,以及各个分支之间多样化的联系提供了一种统一的、简洁的“符号语言”,已经在代数学、拓扑学、代数几何学等领域有着广泛的应用;在逻辑

【相似文献】

中国期刊全文数据库 前10条

1 徐家福;费宗铭;;范畴论在计算机科学中的若干应用[J];计算机科学;1989年03期

2 屈文建;;范畴论在软件设计中的应用[J];南昌大学学报(理科版);2009年01期

3 刘杰;孔祥雯;;作为数学基础的范畴论[J];科学技术哲学研究;2014年04期

4 苗德成;;一种基于范畴论方法的形式语言模型[J];韶关学院学报;2012年06期

5 袁晓月;;范畴单子在F#语言中的应用研究[J];江西科学;2014年04期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中国重要会议论文全文数据库 前3条

1 夏战锋;彭志平;胥杜鹃;;基于范畴论的多TBox整合研究[A];中国自动化学会中南六省（区）2010年第28届年会·论文集[C];2010年

2 岩城见一;王琢;;“美的范畴”与理解“美”的前提[A];东方丛刊（2002年第1辑 总第三十九辑）[C];2002年

3 姜迎春;;矛盾与和谐：马克思社会理论的核心范畴论析[A];第八届暨第七届全国人学研讨会论文集[C];2005年

中国硕士学位论文全文数据库 前3条

1 蒋春容;马克思经济范畴论的哲学审视[D];湖南师范大学;2014年

2 颜丽;基于范畴论的应急预案语义模型研究[D];南京邮电大学;2011年

3 屈文建;泛型程序设计的范畴论模型研究及其应用[D];江西师范大学;2004年

，

本文编号：1009422