范畴论的历史注记 范畴论教材( 六 )
范畴逻辑是直觉逻辑中类型论的一个被明确定义的分支,在计算机学科的函数式编程和域理论中均有应用,并且都是在笛卡尔闭范畴中对λ演算的非句法性描述 。至少,用范畴论可以精确地描述在这些相关的领域里什么是共同的(在抽象的意义上) 。
Q6:什么是“范畴”?
范畴是一种辅助概念,每一个范畴都是人为创造出来并加以组织化的术语,给科学提供分样式,作为思考技术的工具,为进行共同讨论限定框架和带来主题感觉在哲学中,范畴(希腊文为κατηγορια)概念被用于对所有存在的最广义的分类 。比如说时间,空间,数量,质量,关系等都是范畴 。在分类学中,范畴是最高层次的类的统称 。它既不同于学术界对于学问按照学科的分门别类,又有别于百科全书式的以自然和人类为中心的对知识的分类,范畴论是着眼于存在的本质区别的哲学分类系统,因而范畴论属于形而上学的本体论分支 。
关于范畴论和范畴论教材的介绍到此就结束了,不知道你从中找到你需要的信息了吗?如果你还想了解更多这方面的信息,记得收藏关注本站 。
查看更多关于范畴论的详细内容...
Tags:范畴论范畴论教材
推荐阅读
- 肩井的准确位置及功效;到底有没有内功?如果有,有没有什么内功心法?
- 洛阳是哪里的城市 洛阳市是哪个省
- 荣耀5手环门禁卡怎么写卡~~荣耀手环5的用法与功能?
- 被刺猬的刺扎了有毒吗……野生刺猬的刺有毒吗?
- 台北101大厦多高 台湾101大厦的图片
- 李现|李现与刘亦菲搭档《去有风的地方》双双爆红,二搭再演治愈风
- 一匹能骑的马价格大概多少钱 阿拉伯马
- 歌曲鸿雁词曲 鸿雁歌词
- 郭德纲的四大爱徒 郭德纲徒弟
- 二十四节气的意思 小暑是什么意思
