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