图书标签: 范畴论 数学 category-theory Mathematics 数学-范畴论 Math CS theory
发表于2024-11-08
Category Theory pdf epub mobi txt 电子书 下载 2024
Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the ideas are being applied. 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 assuming 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! This Second Edition contains numerous revisions to the original text, including expanding the exposition, revising and elaborating the proofs, providing additional diagrams, correcting typographical errors and, finally, adding an entirely new section on monoidal categories. Nearly a hundred new exercises have also been added, many with solutions, to make the book more useful as a course text and for self-study.
学逻辑的可以只懂很少的范畴论,但是不能不懂。这本比johnstone的简单多了,啃完视研究方向决定是否后继学习。CS的话最好结合lambek继续看
评分有待细读
评分太抽象啦!
评分学逻辑的可以只懂很少的范畴论,但是不能不懂。这本比johnstone的简单多了,啃完视研究方向决定是否后继学习。CS的话最好结合lambek继续看
评分比较好的范畴论入门书。
评分
评分
评分
评分
Category Theory pdf epub mobi txt 电子书 下载 2024