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:
Beteilige Person: | |
---|---|
Weitere beteiligte Personen: | |
Format: | E-Book |
Sprache: | Englisch |
Veröffentlicht: |
Cambridge
Cambridge University Press
1994
|
Schriftenreihe: | London Mathematical Society lecture note series
189 |
Links: | https://doi.org/10.1017/CBO9780511600579 |
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. |
Umfang: | 1 Online-Ressource (xiv, 316 Seiten) |
ISBN: | 9780511600579 |
Internformat
MARC
LEADER | 00000nam a2200000 i 4500 | ||
---|---|---|---|
001 | ZDB-20-CTM-CR9780511600579 | ||
003 | UkCbUP | ||
005 | 20151005020623.0 | ||
006 | m|||||o||d|||||||| | ||
007 | cr|||||||||||| | ||
008 | 090722s1994||||enk o ||1 0|eng|d | ||
020 | |a 9780511600579 | ||
100 | 1 | |a Adámek, Jiří | |
245 | 1 | 0 | |a Locally presentable and accessible categories |c Jiří Adámek, Jiří Rosicky |
246 | 3 | |a Locally Presentable & Accessible Categories | |
264 | 1 | |a Cambridge |b Cambridge University Press |c 1994 | |
300 | |a 1 Online-Ressource (xiv, 316 Seiten) | ||
336 | |b txt | ||
337 | |b c | ||
338 | |b cr | ||
490 | 1 | |a London Mathematical Society lecture note series |v 189 | |
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. | ||
700 | 1 | |a Rosický, Jiří | |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780521422611 |
966 | 4 | 0 | |l DE-91 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/CBO9780511600579 |3 Volltext |
912 | |a ZDB-20-CTM | ||
912 | |a ZDB-20-CTM | ||
049 | |a DE-91 |
Datensatz im Suchindex
DE-BY-TUM_katkey | ZDB-20-CTM-CR9780511600579 |
---|---|
_version_ | 1825574050576990208 |
adam_text | |
any_adam_object | |
author | Adámek, Jiří |
author2 | Rosický, Jiří |
author2_role | |
author2_variant | j r jr |
author_facet | Adámek, Jiří Rosický, Jiří |
author_role | |
author_sort | Adámek, Jiří |
author_variant | j a ja |
building | Verbundindex |
bvnumber | localTUM |
collection | ZDB-20-CTM |
format | eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01808nam a2200277 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9780511600579</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20151005020623.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">090722s1994||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511600579</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Adámek, Jiří</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="3" ind2=" "><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-Ressource (xiv, 316 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">London Mathematical Society lecture note series</subfield><subfield code="v">189</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="700" ind1="1" ind2=" "><subfield code="a">Rosický, Jiří</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780521422611</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-20-CTM</subfield><subfield code="q">TUM_PDA_CTM</subfield><subfield code="u">https://doi.org/10.1017/CBO9780511600579</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
id | ZDB-20-CTM-CR9780511600579 |
illustrated | Not Illustrated |
indexdate | 2025-03-03T11:58:04Z |
institution | BVB |
isbn | 9780511600579 |
language | English |
open_access_boolean | |
owner | DE-91 DE-BY-TUM |
owner_facet | DE-91 DE-BY-TUM |
physical | 1 Online-Ressource (xiv, 316 Seiten) |
psigel | ZDB-20-CTM TUM_PDA_CTM ZDB-20-CTM |
publishDate | 1994 |
publishDateSearch | 1994 |
publishDateSort | 1994 |
publisher | Cambridge University Press |
record_format | marc |
series2 | London Mathematical Society lecture note series |
spelling | Adámek, Jiří Locally presentable and accessible categories Jiří Adámek, Jiří Rosicky Locally Presentable & Accessible Categories Cambridge Cambridge University Press 1994 1 Online-Ressource (xiv, 316 Seiten) txt c cr London Mathematical Society lecture note series 189 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. Rosický, Jiří Erscheint auch als Druck-Ausgabe 9780521422611 |
spellingShingle | Adámek, Jiří Locally presentable and accessible categories |
title | Locally presentable and accessible categories |
title_alt | Locally Presentable & Accessible Categories |
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 |
work_keys_str_mv | AT adamekjiri locallypresentableandaccessiblecategories AT rosickyjiri locallypresentableandaccessiblecategories AT adamekjiri locallypresentableaccessiblecategories AT rosickyjiri locallypresentableaccessiblecategories |