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...

Full description

Saved in:
Bibliographic Details
Main Authors: Adámek, Jiří, ing (Author), Rosický, Jiří (Author)
Format: Electronic eBook
Language:English
Published: Cambridge : Cambridge University Press, 1994.
Series:London Mathematical Society lecture note series ; 189.
Subjects:
Online Access:CONNECT

MARC

LEADER 00000nam a22000008i 4500
001 mig00005065069
003 UkCbUP
005 20151005020623.0
006 m|||||o||d||||||||
007 cr||||||||||||
008 090722s1994||||enk o ||1 0|eng|d
020 |a 9780511600579 (ebook) 
020 |z 9780521422611 (paperback) 
035 0 0 |a ocm00000001camebacr9780511600579 
040 |a UkCbUP  |b eng  |e rda  |c UkCbUP 
050 0 4 |a QA169  |b .A31995 1994 
082 0 0 |a 512/.55  |2 20 
099 |a Electronic book 
100 1 |a Adámek, Jiří,  |c ing,  |e author. 
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 resource (xiv, 316 pages) :  |b digital, PDF file(s). 
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 
500 |a Title from publisher's bibliographic system (viewed on 05 Oct 2015). 
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. 
650 0 |a Categories (Mathematics) 
650 0 |a Representations of categories. 
700 1 |a Rosický, Jiří,  |e author. 
730 0 |a Cambridge EBA Collection 
776 0 8 |i Print version:   |z 9780521422611 
830 0 |a London Mathematical Society lecture note series ;  |v 189. 
856 4 0 |u https://ezproxy.mtsu.edu/login?url=https://doi.org/10.1017/CBO9780511600579  |z CONNECT  |t 0 
907 |a 3903784  |b 08-25-20  |c 03-18-19 
998 |a wi  |b 08-25-20  |c m  |d z   |e -  |f eng  |g enk  |h 0  |i 2 
999 f f |i fac2dd12-71c4-4f10-9937-f676dd2c0525  |s 98b6ea7e-4e97-4555-abca-d9f57c12a8a2  |t 0 
952 f f |a Middle Tennessee State University  |b Main  |c James E. Walker Library  |d Electronic Resources  |t 0  |e QA169 .A31995 1994  |h Library of Congress classification 
856 4 0 |t 0  |u https://ezproxy.mtsu.edu/login?url=https://doi.org/10.1017/CBO9780511600579  |z CONNECT