没有合适的资源?快使用搜索试试~
我知道了~
计算机科学中的范畴论
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
|
|
睿智的充值卡 · 重放攻击- MDN Web 文档术语表· 4 月前 · |
|
|
大方的羽毛球 · 等价、不变性与高阶范畴|范畴论哲学Ⅱ-返朴的 ...· 3 年前 · |
|
|
大方的羽毛球 · 范畴论哲学I —— Meaning As ...· 3 年前 · |
|
|
大方的羽毛球 · 计算机科学中的范畴论_范畴论毫无意义-软件测 ...· 3 年前 · |
|
|
大方的羽毛球 · 范畴论杂谈:数学,哲学,以及数学哲学- 知乎· 3 年前 · |
|
|
大方的羽毛球 · 梅亚苏《迭代、反复、重复:无意义的符号之思辨 ...· 3 年前 · |