Locally Presentable and Accessible Categories
Seiten
1994
Cambridge University Press (Verlag)
978-0-521-42261-1 (ISBN)
Cambridge University Press (Verlag)
978-0-521-42261-1 (ISBN)
The aim of this book is to provide an exposition of both the theory and the applications of these categories at a level accessible to graduate students. For researchers in category theory, algebra, computer science, and model theory, this book will be a necessary purchase.
The concepts of a locally presentable category and an accessible category have turned out to be useful in formulating connections between universal algebra, model theory, logic and computer science. The aim of this book is to provide an exposition of both the theory and the applications of these categories at a level accessible to graduate students. Firstly the properties of l-presentable objects, locally l-presentable categories, and l-accessible categories are discussed in detail, and the equivalence of accessible and sketchable categories is proved. The authors go on to study categories of algebras and prove that Freyd's essentially algebraic categories are precisely the locally presentable categories. In the final chapters they treat some topics in model theory and some set theoretical aspects. For researchers in category theory, algebra, computer science, and model theory, this book will be a necessary purchase.
The concepts of a locally presentable category and an accessible category have turned out to be useful in formulating connections between universal algebra, model theory, logic and computer science. The aim of this book is to provide an exposition of both the theory and the applications of these categories at a level accessible to graduate students. Firstly the properties of l-presentable objects, locally l-presentable categories, and l-accessible categories are discussed in detail, and the equivalence of accessible and sketchable categories is proved. The authors go on to study categories of algebras and prove that Freyd's essentially algebraic categories are precisely the locally presentable categories. In the final chapters they treat some topics in model theory and some set theoretical aspects. For researchers in category theory, algebra, computer science, and model theory, this book will be a necessary purchase.
Preliminaries; 1. Locally presentable categories; 2. Accessible categories; 3. Algebraic categories; 4. Injectivity classes; 5. Categories of models; 6. Vopenka's principle; Appendix: Large cardinals; Open problems.
| Erscheint lt. Verlag | 10.3.1994 |
|---|---|
| Reihe/Serie | London Mathematical Society Lecture Note Series |
| Verlagsort | Cambridge |
| Sprache | englisch |
| Maße | 154 x 229 mm |
| Gewicht | 489 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| ISBN-10 | 0-521-42261-2 / 0521422612 |
| ISBN-13 | 978-0-521-42261-1 / 9780521422611 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
World Scientific Publishing Co Pte Ltd (Verlag)
CHF 43,60
what we have that machines don't
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
how simple questions lead us to mathematics’ deepest truths
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
