books.google.de - 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...http://books.google.de/books/about/Locally_Presentable_and_Accessible_Categ.html?id=iXh6rOd7of0C&utm_source=gb-gplus-shareLocally Presentable and Accessible Categories
