Locally Presentable and Accessible Categories PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Locally Presentable and Accessible Categories PDF full book. Access full book title Locally Presentable and Accessible Categories by Jiri Adamek (ing). Download full books in PDF and EPUB format.
Author: Jiri Adamek (ing) Publisher: Cambridge University Press ISBN: 0521422612 Category : Mathematics Languages : en Pages : 334
Book Description
First the concepts of [lambda]-presentable objects, locally [lambda]-presentable categories, and [lambda]-accessible categories are discussed in detail. The authors go on to 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. For researchers in category theory, algebra, computer science, and model theory, this book will be a necessary purchase.
Author: Jiri Adamek (ing) Publisher: Cambridge University Press ISBN: 0521422612 Category : Mathematics Languages : en Pages : 334
Book Description
First the concepts of [lambda]-presentable objects, locally [lambda]-presentable categories, and [lambda]-accessible categories are discussed in detail. The authors go on to 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. For researchers in category theory, algebra, computer science, and model theory, this book will be a necessary purchase.
Author: Jacob Lurie Publisher: Princeton University Press ISBN: 0691140480 Category : Mathematics Languages : en Pages : 944
Book Description
In 'Higher Topos Theory', Jacob Lurie presents the foundations of this theory using the language of weak Kan complexes introduced by Boardman and Vogt, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language.
Author: P. T. Johnstone Publisher: Oxford University Press ISBN: 9780198515982 Category : Computers Languages : en Pages : 836
Book Description
Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and to thereby demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text.
Author: Emily Riehl Publisher: Courier Dover Publications ISBN: 0486820807 Category : Mathematics Languages : en Pages : 273
Book Description
Introduction to concepts of category theory — categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads — revisits a broad range of mathematical examples from the categorical perspective. 2016 edition.
Author: Mihály Makkai Publisher: American Mathematical Soc. ISBN: 082185111X Category : Mathematics Languages : en Pages : 186
Book Description
Intended for category theorists and logicians familiar with basic category theory, this book focuses on categorical model theory, which is concerned with the categories of models of infinitary first order theories, called accessible categories. The starting point is a characterization of accessible categories in terms of concepts familiar from Gabriel-Ulmer's theory of locally presentable categories. Most of the work centers on various constructions (such as weighted bilimits and lax colimits), which, when performed on accessible categories, yield new accessible categories. These constructions are necessarily 2-categorical in nature; the authors cover some aspects of 2-category theory, in addition to some basic model theory, and some set theory. One of the main tools used in this study is the theory of mixed sketches, which the authors specialize to give concrete results about model theory. Many examples illustrate the extent of applicability of these concepts. In particular, some applications to topos theory are given. Perhaps the book's most significant contribution is the way it sets model theory in categorical terms, opening the door for further work along these lines. Requiring a basic background in category theory, this book will provide readers with an understanding of model theory in categorical terms, familiarity with 2-categorical methods, and a useful tool for studying toposes and other categories.
Author: John C. Baez Publisher: Springer Science & Business Media ISBN: 1441915362 Category : Algebra Languages : en Pages : 292
Book Description
The purpose of this book is to give background for those who would like to delve into some higher category theory. It is not a primer on higher category theory itself. It begins with a paper by John Baez and Michael Shulman which explores informally, by analogy and direct connection, how cohomology and other tools of algebraic topology are seen through the eyes of n-category theory. The idea is to give some of the motivations behind this subject. There are then two survey articles, by Julie Bergner and Simona Paoli, about (infinity,1) categories and about the algebraic modelling of homotopy n-types. These are areas that are particularly well understood, and where a fully integrated theory exists. The main focus of the book is on the richness to be found in the theory of bicategories, which gives the essential starting point towards the understanding of higher categorical structures. An article by Stephen Lack gives a thorough, but informal, guide to this theory. A paper by Larry Breen on the theory of gerbes shows how such categorical structures appear in differential geometry. This book is dedicated to Max Kelly, the founder of the Australian school of category theory, and an historical paper by Ross Street describes its development.
Author: Carlos Simpson Publisher: Cambridge University Press ISBN: 1139502190 Category : Mathematics Languages : en Pages : 653
Book Description
The study of higher categories is attracting growing interest for its many applications in topology, algebraic geometry, mathematical physics and category theory. In this highly readable book, Carlos Simpson develops a full set of homotopical algebra techniques and proposes a working theory of higher categories. Starting with a cohesive overview of the many different approaches currently used by researchers, the author proceeds with a detailed exposition of one of the most widely used techniques: the construction of a Cartesian Quillen model structure for higher categories. The fully iterative construction applies to enrichment over any Cartesian model category, and yields model categories for weakly associative n-categories and Segal n-categories. A corollary is the construction of higher functor categories which fit together to form the (n+1)-category of n-categories. The approach uses Tamsamani's definition based on Segal's ideas, iterated as in Pelissier's thesis using modern techniques due to Barwick, Bergner, Lurie and others.
Author: Thorsten Holm Publisher: Cambridge University Press ISBN: 1139488880 Category : Mathematics Languages : en Pages : 473
Book Description
A 2010 collection of survey articles by leading experts covering fundamental aspects of triangulated categories, as well as applications in algebraic geometry, representation theory, commutative algebra, microlocal analysis and algebraic topology. This is a valuable reference for experts and a useful introduction for graduate students entering the field.
Author: Jiri Adamek (ing)
Author: Jiri Adamek (ing)
Author: Jacob Lurie
Author: Tom Leinster
Author: P. T. Johnstone
Author: Gregory Maxwell Kelly
Author: Emily Riehl
Author: Mihály Makkai
Author: John C. Baez
Author: Carlos Simpson
Author: Thorsten Holm