Category Theory
Seiten
2006
Clarendon Press (Verlag)
978-0-19-856861-2 (ISBN)
Clarendon Press (Verlag)
978-0-19-856861-2 (ISBN)
- Titel erscheint in neuer Auflage
- Artikel merken
Zu diesem Artikel existiert eine Nachauflage
Provides a reference to Category Theory, containing exercises, for researchers and graduates in philosophy, mathematics, and computer science. This book, with definitions of essential concepts, accessible examples, and proofs of important propositions and theorems, aims to make the basic ideas of this topic understandable to the broad readership.
This text and reference book on Category Theory, a branch of abstract algebra, is aimed not only at students of Mathematics, but also researchers and students of Computer Science, Logic, Linguistics, Cognitive Science, Philosophy, and any of the other fields that now make use of it. 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 it assumes 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 text and reference book on Category Theory, a branch of abstract algebra, is aimed not only at students of Mathematics, but also researchers and students of Computer Science, Logic, Linguistics, Cognitive Science, Philosophy, and any of the other fields that now make use of it. 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 it assumes 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!
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.
Preface; 1. Categories; 2. Abstract structures; 3. Duality; 4. Groups and categories; 5. Limits and colimits; 6. Exponentials; 7. Functors and Naturality; 8. Categories of Diagrams; 9. Adjoints; 10. Monads and algebras; References; Index
| Erscheint lt. Verlag | 25.5.2006 |
|---|---|
| Reihe/Serie | Oxford Logic Guides ; No. 49 |
| Zusatzinfo | 298 line drawings |
| Verlagsort | Oxford |
| Sprache | englisch |
| Maße | 160 x 240 mm |
| Gewicht | 526 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Algebra |
| ISBN-10 | 0-19-856861-4 / 0198568614 |
| ISBN-13 | 978-0-19-856861-2 / 9780198568612 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2022)
Springer Spektrum (Verlag)
CHF 55,95
