For researchers in category theory, algebra, computer science, and model theory, this book will be a necessary purchase. In the final chapters they treat some topics in model theory and some set theoretical aspects. The authors go on to study categories of algebras and prove that Freyd's essentially algebraic categories are precisely the locally presentable categories. Open Access The concepts of a locally presentable category and an accessible category have turned out to be extremely useful in formulating connections between universal algebra, model theory, logic and computer science. #LOCALLY PRESENTABLE AND ACCESSIBLE CATEGORIES DOWNLOAD#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. Download Citation Local Presentability of Certain Comma Categories It follows from standard results that if A and C are locally -presentable categories and F:AC is a -accessible functor. 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 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. It has prompted some thoughts about history and mathematics. Description Product filter button Description day namely, locally presentable categories, 2-categories, sketches, and categorical logic.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |