Locally Presentable and Accessible Categories (London Mathematical Society Lecture Note Series, Series Number 189) - Softcover

Adamek, J.; Rosicky, J.

Softcover

ISBN 10: 0521422612 ISBN 13: 9780521422611

Publisher: Cambridge University Press, 1994

Synopsis

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.

About this title

Book Description:

The concepts of a locally presentable category and an accessible category are extremely useful in formulating connections among universal algebra, model theory, logic, and computer science. The aim of this book is to provide an exposition of the theory and applications of these categories.

Review:

"...the authors have taken the indicated material, organized it effectively, written a very lucid, readable development of it in 280 pages, and added helpful historical remarks to each chapter and a brief appendix on large cardinals. There are some novel results...most notably a significant improvement of the Gabriel-Ulmer theorem on "local generation" of locally presentable categories." J.R. Isbell, Mathematical Reviews

About this edition

• Publisher: Cambridge University Press
• Publication date: 1994
• ISBN 10: 0521422612
• ISBN 13: 9780521422611
• Binding: Paperback
• Edition number: 1
• Number of pages: 332