图书标签: 范畴论 数学 计算机科学 经典 逻辑学 抽象代数 Math 语言学
发表于2024-11-25
Category Theory pdf epub mobi txt 电子书 下载 2024
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. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make the basic ideas, theorems, and methods of Category Theory understandable to this broad readership. Although it assumes few mathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; monads. An extra topic of cartesian closed categories and the lambda-calculus is also provided; a must for computer scientists, logicians and linguists!
这书真的很朴实易懂
评分比较基本的范畴论读物,适合自学。
评分比较基本的范畴论读物,适合自学。
评分这书真的很朴实易懂
评分比较基本的范畴论读物,适合自学。
评分
评分
评分
评分
Category Theory pdf epub mobi txt 电子书 下载 2024