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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
1994
|
| Schriftenreihe: | London Mathematical Society lecture note series
189 |
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 Volltext |
| Zusammenfassung: | 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 |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Beschreibung: | 1 online resource (xiv, 316 pages) |
| ISBN: | 9780511600579 |
| DOI: | 10.1017/CBO9780511600579 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043942243 | ||
| 003 | DE-604 | ||
| 005 | 20161214 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s1994 |||| o||u| ||||||eng d | ||
| 020 | |a 9780511600579 |c Online |9 978-0-511-60057-9 | ||
| 024 | 7 | |a 10.1017/CBO9780511600579 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511600579 | ||
| 035 | |a (OCoLC)967601885 | ||
| 035 | |a (DE-599)BVBBV043942243 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 512/.55 |2 20 | |
| 084 | |a SI 320 |0 (DE-625)143123: |2 rvk | ||
| 084 | |a SK 320 |0 (DE-625)143231: |2 rvk | ||
| 100 | 1 | |a Adámek, Jiří |d 1947- |e Verfasser |0 (DE-588)113295219 |4 aut | |
| 245 | 1 | 0 | |a Locally presentable and accessible categories |c Jiří Adámek, Jiří Rosicky |
| 246 | 1 | 3 | |a Locally Presentable & Accessible Categories |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 1994 | |
| 300 | |a 1 online resource (xiv, 316 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a London Mathematical Society lecture note series |v 189 | |
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 505 | 8 | 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 | ||
| 650 | 4 | |a Categories (Mathematics) | |
| 650 | 4 | |a Representations of categories | |
| 650 | 0 | 7 | |a Kategorie |g Mathematik |0 (DE-588)4129930-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Kategorie |g Mathematik |0 (DE-588)4129930-9 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Rosický, Jiří |d 1946- |e Sonstige |0 (DE-588)136237118 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-42261-1 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511600579 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029351212 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511600579 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511600579 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176884844462080 |
|---|---|
| any_adam_object | |
| author | Adámek, Jiří 1947- |
| author_GND | (DE-588)113295219 (DE-588)136237118 |
| author_facet | Adámek, Jiří 1947- |
| author_role | aut |
| author_sort | Adámek, Jiří 1947- |
| author_variant | j a ja |
| building | Verbundindex |
| bvnumber | BV043942243 |
| classification_rvk | SI 320 SK 320 |
| collection | ZDB-20-CBO |
| contents | Preliminaries Locally presentable categories Accessible categories Algebraic categories Injectivity classes Categories of models Vopĕnka's principle large cardinals |
| ctrlnum | (ZDB-20-CBO)CR9780511600579 (OCoLC)967601885 (DE-599)BVBBV043942243 |
| dewey-full | 512/.55 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512/.55 |
| dewey-search | 512/.55 |
| dewey-sort | 3512 255 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1017/CBO9780511600579 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03223nmm a2200517zcb4500</leader><controlfield tag="001">BV043942243</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161214 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s1994 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511600579</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-60057-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511600579</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511600579</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)967601885</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043942243</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512/.55</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 320</subfield><subfield code="0">(DE-625)143123:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 320</subfield><subfield code="0">(DE-625)143231:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Adámek, Jiří</subfield><subfield code="d">1947-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)113295219</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Locally presentable and accessible categories</subfield><subfield code="c">Jiří Adámek, Jiří Rosicky</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Locally Presentable & Accessible Categories</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiv, 316 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">London Mathematical Society lecture note series</subfield><subfield code="v">189</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="g">Preface</subfield><subfield code="g">Introduction</subfield><subfield code="t">Preliminaries</subfield><subfield code="t">Locally presentable categories</subfield><subfield code="t">Accessible categories</subfield><subfield code="t">Algebraic categories</subfield><subfield code="t">Injectivity classes</subfield><subfield code="t">Categories of models</subfield><subfield code="t">Vopĕnka's principle</subfield><subfield code="g">Appendix</subfield><subfield code="t">large cardinals</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Categories (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Representations of categories</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4129930-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4129930-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rosický, Jiří</subfield><subfield code="d">1946-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)136237118</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-42261-1</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511600579</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029351212</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511600579</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511600579</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043942243 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:17Z |
| institution | BVB |
| isbn | 9780511600579 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029351212 |
| oclc_num | 967601885 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (xiv, 316 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | London Mathematical Society lecture note series |
| spelling | Adámek, Jiří 1947- Verfasser (DE-588)113295219 aut Locally presentable and accessible categories Jiří Adámek, Jiří Rosicky Locally Presentable & Accessible Categories Cambridge Cambridge University Press 1994 1 online resource (xiv, 316 pages) txt rdacontent c rdamedia cr rdacarrier London Mathematical Society lecture note series 189 Title from publisher's bibliographic system (viewed on 05 Oct 2015) Preface Introduction Preliminaries Locally presentable categories Accessible categories Algebraic categories Injectivity classes Categories of models Vopĕnka's principle Appendix large cardinals 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 Categories (Mathematics) Representations of categories Kategorie Mathematik (DE-588)4129930-9 gnd rswk-swf Kategorie Mathematik (DE-588)4129930-9 s 1\p DE-604 Rosický, Jiří 1946- Sonstige (DE-588)136237118 oth Erscheint auch als Druckausgabe 978-0-521-42261-1 https://doi.org/10.1017/CBO9780511600579 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Adámek, Jiří 1947- Locally presentable and accessible categories Preliminaries Locally presentable categories Accessible categories Algebraic categories Injectivity classes Categories of models Vopĕnka's principle large cardinals Categories (Mathematics) Representations of categories Kategorie Mathematik (DE-588)4129930-9 gnd |
| subject_GND | (DE-588)4129930-9 |
| title | Locally presentable and accessible categories |
| title_alt | Locally Presentable & Accessible Categories Preliminaries Locally presentable categories Accessible categories Algebraic categories Injectivity classes Categories of models Vopĕnka's principle large cardinals |
| title_auth | Locally presentable and accessible categories |
| title_exact_search | Locally presentable and accessible categories |
| title_full | Locally presentable and accessible categories Jiří Adámek, Jiří Rosicky |
| title_fullStr | Locally presentable and accessible categories Jiří Adámek, Jiří Rosicky |
| title_full_unstemmed | Locally presentable and accessible categories Jiří Adámek, Jiří Rosicky |
| title_short | Locally presentable and accessible categories |
| title_sort | locally presentable and accessible categories |
| topic | Categories (Mathematics) Representations of categories Kategorie Mathematik (DE-588)4129930-9 gnd |
| topic_facet | Categories (Mathematics) Representations of categories Kategorie Mathematik |
| url | https://doi.org/10.1017/CBO9780511600579 |
| work_keys_str_mv | AT adamekjiri locallypresentableandaccessiblecategories AT rosickyjiri locallypresentableandaccessiblecategories AT adamekjiri locallypresentableaccessiblecategories AT rosickyjiri locallypresentableaccessiblecategories |