Study note

Category Theory

Properties

Type
Books
Status
想读
Domain
Math
Category
逻辑、集合论与范畴
Source
book.douban.com
Vault note
library/books/math/Category-Theory-cf606deb99744874.md

Summary

Steve Awodey 的范畴论教材,讲范畴、函子、自然变换、极限、伴随、单子、笛卡尔闭范畴和 topos 入门。

Highlights

逻辑和计算机科学味道较强,是学习范畴论的现代标准入门之一。

Notes

Steve Awodey;2010-8-13。

Comments

Loading comments...