category theory for programmers，本书介绍范畴论的各个概念，并使用haskell和c++实现这些概念，阐明与函数式编程的关系。学习本书有助于提高抽象能力，学习函数式编程的高级设计模式。
2022-10-24 20:00:56
12.5MB
1
范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论，以抽象的方法来处理数学概念，将这些概念形式化成一组组的“物件”及“态射”。有些人开玩笑地称之为“一般化的抽象废话”。范畴论出现在很多数学分支中，以及理论计算机科学和数学物理的一些领域。
2022-10-24 19:55:57
4.25MB
1
从程序员的角度讲解范畴论，读起来清晰易懂，程序员理解范畴论的绝佳好书。带目录可复制文字清晰版。
2021-09-26 23:59:55
15.78MB
1
本书以数据库作为范畴论的入门，通过实例解释了范畴论，并表明范畴论作为数学中严格，灵活且连贯的建模语言，在数学之外非常有用。
2021-09-03 15:14:02
3.85MB
1
比较基本的范畴论读物，适合自学。
This text and reference book on Category Theory, a branch of abstract algebra, is aimed not only at students of Mathematics, but also researchers and students of Computer Science, Logic, Linguistics, Cognitive Science, Philosophy, and any of the other fields that now make use of it.
2021-04-14 22:45:33
3.91MB
1
专门给程序员写的一本，入门级别的范畴论介绍，不需要很高深的数学基础。
2019-12-21 21:52:15
5.91MB
1
陈意云写的，书中首先介绍了代数规范的基本知识和一此泛代数的知识，然后系统地介绍了范畴论的主要内容，范畴，函子，自然变换，积与和，极限和余极限，伴随，笛卡尔封闭的范畴和素描等，并通过很多例子，介绍了范畴论在程序设计语言的语义，论域理论，演绎系统和形式规范等方面的应用
2019-12-21 21:08:10
8.96MB
1