Category Theory: A Programming Language Oriented Introduction
简介：
本书解释了以下主题: 类别，函子，自然变换，字符串图，Kan扩展，代数，余代数，双代数，Lambda演算和类别。
英文简介：
This book explains the following topics: Categories, functors, natural transformations, String diagrams, Kan extensions, Algebras, coalgebras, bialgebras, Lambda-calculus and categories.
- 书名
- Category Theory: A Programming Language Oriented Introduction
- 译名
- 范畴论：面向编程语言的介绍
- 语言
- 英语
- 年份
- 2008
- 页数
- 145页
- 大小
- 1.68 MB
- 下载
Category Theory: A Programming Language Oriented Introduction.pdf- 密码
- 65536
最后更新：2025-04-12 23:57:46