Locally Presentable and Accessible Categories
The concepts of a locally presentable category and an accessible category are extremely 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. The concepts of lambda-presentable objects, locally lambda-presentable categories, and lambda-accessible categories are discussed in detail. The authors prove that Freyd's essentially algebraic categories are precisely the locally presentable categories. In the final chapter, they treat some advanced topics in model theory.
1100938961
Locally Presentable and Accessible Categories
The concepts of a locally presentable category and an accessible category are extremely 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. The concepts of lambda-presentable objects, locally lambda-presentable categories, and lambda-accessible categories are discussed in detail. The authors prove that Freyd's essentially algebraic categories are precisely the locally presentable categories. In the final chapter, they treat some advanced topics in model theory.
122.0 In Stock
Locally Presentable and Accessible Categories

Locally Presentable and Accessible Categories

Locally Presentable and Accessible Categories

Locally Presentable and Accessible Categories

Paperback

$122.00 
  • SHIP THIS ITEM
    In stock. Ships in 1-2 days.
  • PICK UP IN STORE

    Your local store may have stock of this item.

Related collections and offers


Overview

The concepts of a locally presentable category and an accessible category are extremely 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. The concepts of lambda-presentable objects, locally lambda-presentable categories, and lambda-accessible categories are discussed in detail. The authors prove that Freyd's essentially algebraic categories are precisely the locally presentable categories. In the final chapter, they treat some advanced topics in model theory.

Product Details

ISBN-13: 9780521422611
Publisher: Cambridge University Press
Publication date: 03/10/1994
Series: London Mathematical Society Lecture Note Series , #189
Pages: 332
Product dimensions: 6.06(w) x 9.02(h) x 0.75(d)

Table of Contents

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.
From the B&N Reads Blog

Customer Reviews