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.
1 有用 豌豆黄 2018-07-15 20:33:23
有待细读
0 有用 Lee 2015-10-07 14:16:17
太抽象啦!
0 有用 搬砖也用心 2016-05-22 17:17:01
比较好的范畴论入门书。
0 有用 本意是好的 2022-11-08 12:09:52 浙江
其实Chapter 7以后就看不懂了,尤其是Yoneda Lemma以后,后面是硬着头皮看完的。回头看看Logic Matter救命🆘 不过范畴论是美妙的,不涉及各个领域的具体操作而研究数学不同分支的结构关系,有潜力成为Foundation类的学问
0 有用 chaosmori 2023-03-07 04:59:16 美国
补 前三章 当年初见范畴论
0 有用 ColdHumour 2023-04-27 12:56:00 上海
先混个脸熟
0 有用 chaosmori 2023-03-07 04:59:16 美国
补 前三章 当年初见范畴论
0 有用 本意是好的 2022-11-08 12:09:52 浙江
其实Chapter 7以后就看不懂了,尤其是Yoneda Lemma以后,后面是硬着头皮看完的。回头看看Logic Matter救命🆘 不过范畴论是美妙的,不涉及各个领域的具体操作而研究数学不同分支的结构关系,有潜力成为Foundation类的学问
0 有用 噫吁嚱 2020-03-10 01:47:20
0 有用 Denial 2020-02-26 22:45:41
看过最舒服的书