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... This description may be from another edition of this product.