Cargando…
Locally presentable and accessible categories /
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. The aim of this book is to provide an exposition of both the theory and the applications of these cat...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge ; New York, NY :
Cambridge University Press,
1994.
|
| Colección: | London Mathematical Society lecture note series ;
189. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn836848780 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130408s1994 enk ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d E7B |d OCLCF |d YDXCP |d OCLCQ |d AGLDB |d HEBIS |d OCLCO |d UAB |d OCLCQ |d VTS |d REC |d STF |d M8D |d OCLCO |d OCLCA |d QGK |d OCLCQ |d OCLCO |d OCLCQ | ||
| 019 | |a 715165751 |a 1259151701 | ||
| 020 | |a 9781107361782 |q (electronic bk.) | ||
| 020 | |a 1107361788 |q (electronic bk.) | ||
| 020 | |a 9780511600579 |q (e-book) | ||
| 020 | |a 0511600577 |q (e-book) | ||
| 020 | |a 1139881930 | ||
| 020 | |a 9781139881937 | ||
| 020 | |a 1107366690 | ||
| 020 | |a 9781107366695 | ||
| 020 | |a 1107371376 | ||
| 020 | |a 9781107371378 | ||
| 020 | |a 1107369207 | ||
| 020 | |a 9781107369207 | ||
| 020 | |a 1299404448 | ||
| 020 | |a 9781299404441 | ||
| 020 | |z 0521422612 | ||
| 020 | |z 9780521422611 | ||
| 029 | 1 | |a DEBBG |b BV043118317 | |
| 029 | 1 | |a DEBSZ |b 421267496 | |
| 029 | 1 | |a GBVCP |b 804530912 | |
| 035 | |a (OCoLC)836848780 |z (OCoLC)715165751 |z (OCoLC)1259151701 | ||
| 050 | 4 | |a QA169 |b .A31995 1994eb | |
| 072 | 7 | |a MAT |x 002050 |2 bisacsh | |
| 082 | 0 | 4 | |a 512/.55 |2 22 |
| 084 | |a 31.27 |2 bcl | ||
| 084 | |a PA 79 |2 blsrissc | ||
| 049 | |a UAMI | ||
| 100 | 1 | |a Adámek, Jiří, |d 1947- | |
| 245 | 1 | 0 | |a Locally presentable and accessible categories / |c Jiří Adámek, Jiří Rosicky. |
| 260 | |a Cambridge ; |a New York, NY : |b Cambridge University Press, |c 1994. | ||
| 300 | |a 1 online resource (xiv, 316 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a London Mathematical Society lecture note series ; |v 189 | |
| 504 | |a Includes bibliographical references (pages 299-307) and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 2 | 0 | |g Preface -- |g Introduction -- |t Preliminaries -- |t Locally presentable categories -- |t Accessible categories -- |t Algebraic categories -- |t Injectivity classes -- |t Categories of models -- |t Vopĕnka's principle -- |g Appendix: |t large cardinals. |
| 520 | |a 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. 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. 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. The authors go on to study categories of algebras and prove that Freyd's essentially algebraic categories are precisely the locally presentable categories. In the final chapters they treat some topics in model theory and some set theoretical aspects. For researchers in category theory, algebra, computer science, and model theory, this book will be a necessary purchase. | ||
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Categories (Mathematics) | |
| 650 | 0 | |a Representations of categories. | |
| 650 | 6 | |a Catégories (Mathématiques) | |
| 650 | 6 | |a Représentations de catégories. | |
| 650 | 7 | |a MATHEMATICS |x Algebra |x Linear. |2 bisacsh | |
| 650 | 7 | |a Categories (Mathematics) |2 fast |0 (OCoLC)fst00849000 | |
| 650 | 7 | |a Representations of categories. |2 fast |0 (OCoLC)fst01094935 | |
| 650 | 7 | |a Kategorientheorie |2 gnd | |
| 650 | 1 | 7 | |a Categorieën (wiskunde) |2 gtt |
| 650 | 7 | |a Lógica matemática. |2 larpcal | |
| 650 | 7 | |a Lógica categórica. |2 larpcal | |
| 650 | 7 | |a Catégories (Mathématiques) |2 ram | |
| 700 | 1 | |a Rosický, Jiří. | |
| 776 | 0 | 8 | |i Print version: |a Adámek, Jiří, ing. |t Locally presentable and accessible categories. |d Cambridge ; New York, NY : Cambridge University Press, 1994 |z 0521422612 |w (DLC) 94119921 |w (OCoLC)30027597 |
| 830 | 0 | |a London Mathematical Society lecture note series ; |v 189. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552376 |z Texto completo |
| 938 | |a ebrary |b EBRY |n ebr10451683 | ||
| 938 | |a EBSCOhost |b EBSC |n 552376 | ||
| 938 | |a YBP Library Services |b YANK |n 10405608 | ||
| 994 | |a 92 |b IZTAP | ||