Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3150284 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Locally presentable and accessible categories
detail
Autor: Jiří Adámek, Jiří Rosický
Rok: 1994
ISBN: 9780521422611
OCLC Number: (ocolc)30027597
OKCZID: 110014527
Citace (dle ČSN ISO 690):
ADÁMEK, Jiří. Locally presentable and accessible categories. Cambridge: Cambridge University Press, 1994. xiv, 316 s. London Mathematical Society lecture note series, 189.
Části díla
Anotace
The concepts of a locally presentable category and an accessible category are 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. The concepts of lambda-presentable objects, locally lambda-presentable categories, and lambda-accessible categories are discussed in detail. The authors 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.
Dostupné zdroje
detail