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.
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.
Steve Awodey studied Mathematics and Philosophy at the University of Marburg (Germany) and the University of Chicago, earning his Ph.D. from Chicago under Saunders Mac Lane in 1997. He is now an Associate Professor in the Department of Philosophy at Carnegie Mellon University. He is an active researcher in Category Theory and Logic, and has authored and co-authored numerous journal articles.
Inhaltsangabe
Preface 1: Categories 2: Abstract Structures 3: Duality 4: Groups and Categories 5: Limits and Colimits 6: Exponentials 7: Naturality 8: Categories of Diagrams 9: Adjoints 10: Monads and Algrebras References Solutions to Selected Exercises Index