关于范畴论的哲学思考

王湘云1

1华北水利水电大学;

摘要：

范畴论产生于20世纪40年代对同调代数的研究,现在已经发展成为一门具有广泛应用的新理论.在现代数学的研究中,范畴论为日趋多样的数学分支,以及各个分支之间多样化的联系提供了一种统一的、简洁的“符号语言”,已经在代数学、拓扑学、代数几何学等领域有着广泛的应用;在逻辑学的研究中,以范畴论为基础的拓扑斯(topos)理论正在发展成为现代数学全新的统一基础;在理论计算机科学的研究中,范畴论在函数程序指令、程序语义学和程序逻辑学等领域也有着广泛的应用.[1]范畴论是作为数学基础的集合论的替代物,就这点而论,其引发了许多关于数学本体论与认识论的问题,范畴论因而给哲学家和逻辑学家提供了更多的应用和思考.

资助基金：国家社会科学基金项目“超集、双仿以及在模态逻辑、计算机科学中的作用研究”08BZX049

在线出版日期：2014-05-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：85-90