Matches in Harvard for { <http://id.lib.harvard.edu/aleph/004070770/catalog> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- catalog abstract ""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. 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." "First the concepts of [lambda]-presentable objects, locally [lambda]-presentable categories, and [lambda]-accessible categories are discussed in detail. The authors go on to 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." "For researchers in category theory, algebra, computer science, and model theory, this book will be a necessary purchase."--BOOK JACKET.".
- catalog contributor b5851622.
- catalog contributor b5851623.
- catalog created "1994.".
- catalog date "1994".
- catalog date "1994.".
- catalog dateCopyrighted "1994.".
- catalog description ""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. 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." "First the concepts of [lambda]-presentable objects, locally [lambda]-presentable categories, and [lambda]-accessible categories are discussed in detail. The authors go on to 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." "For researchers in category theory, algebra, computer science, and model theory, this book will be a necessary purchase."--BOOK JACKET.".
- catalog description "Includes bibliographical references (p. 299-307) and index.".
- catalog description "Preface -- Introduction -- Preliminaries -- Locally presentable categories -- Accessible categories -- Algebraic categories -- Injectivity classes -- Categories of models -- Vopĕnka's principle -- Appendix: large cardinals.".
- catalog extent "xiv, 316 p. :".
- catalog identifier "0521422612 (pbk)".
- catalog isPartOf "London Mathematical Society lecture note series ; 189.".
- catalog issued "1994".
- catalog issued "1994.".
- catalog language "eng".
- catalog publisher "Cambridge ; New York, NY : Cambridge University Press,".
- catalog subject "512.55 20".
- catalog subject "Categories (Mathematics)".
- catalog subject "QA169 .A31995 1994".
- catalog subject "Representations of categories.".
- catalog tableOfContents "Preface -- Introduction -- Preliminaries -- Locally presentable categories -- Accessible categories -- Algebraic categories -- Injectivity classes -- Categories of models -- Vopĕnka's principle -- Appendix: large cardinals.".
- catalog title "Locally presentable and accessible categories / Jiří Adámek, Jiří Rosicky.".
- catalog type "text".