Category Theory

Steve Awodey

2006 • 336 pages

Ratings3

Average rating3

A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises.

Genre

Philosophy

Want to edit this book?Become a Librarian

Series

Featured Series

4 primary books

#52 in Oxford Logic Guides

Oxford Logic Guides is a 4-book series with 4 released primary works first released in 1992 with contributions by Colin McLarty, Dov M. Gabbay, and Mark A. Reynolds.

#21

Elementary Categories, Elementary Toposes

#40

Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2

#48

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

#52

Popular Reviews

Reviews with the most likes.

Sandy

Went through this book at a rate of one paragraph per week, and even that was too fast. If you're not a graduate-level mathematics student, don't even consider it. My reading group and I have switched to Bartosz Milewski's Category Theory for Programmers.

https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

January 1, 2016