范畴论的历史注记 范畴论教材( 六 )


范畴逻辑是直觉逻辑中类型论的一个被明确定义的分支,在计算机学科的函数式编程和域理论中均有应用,并且都是在笛卡尔闭范畴中对λ演算的非句法性描述 。至少,用范畴论可以精确地描述在这些相关的领域里什么是共同的(在抽象的意义上) 。

Q6:什么是“范畴”?
范畴是一种辅助概念,每一个范畴都是人为创造出来并加以组织化的术语,给科学提供分样式,作为思考技术的工具,为进行共同讨论限定框架和带来主题感觉在哲学中,范畴(希腊文为κατηγορια)概念被用于对所有存在的最广义的分类 。比如说时间,空间,数量,质量,关系等都是范畴 。在分类学中,范畴是最高层次的类的统称 。它既不同于学术界对于学问按照学科的分门别类,又有别于百科全书式的以自然和人类为中心的对知识的分类,范畴论是着眼于存在的本质区别的哲学分类系统,因而范畴论属于形而上学的本体论分支 。

关于范畴论和范畴论教材的介绍到此就结束了,不知道你从中找到你需要的信息了吗?如果你还想了解更多这方面的信息,记得收藏关注本站 。
查看更多关于范畴论的详细内容...
Tags:范畴论范畴论教材


推荐阅读