Accessible categories : the foundations of categorical model theory / Michael Makkai, Robert Paré.

Format:

Book

Author/Creator:

Makkai, Mihály, 1939- author.

Paré, Robert, 1944- author.

Series:

Contemporary mathematics (American Mathematical Society) ; 104.

Contemporary mathematics, 0271-4132 ; 104

Language:

English

Subjects (All):

Model theory.

Categories (Mathematics).

Toposes.

Physical Description:

1 online resource (186 p.)

Edition:

1st ed.

Place of Publication:

Providence, Rhode Island : American Mathematical Society, [1989]

Language Note:

English

Summary:

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.

Contents:

""Â5.5. The powerful image of an accessible functor""""Chapter 6: Limits and Colimits in accessible categories""; ""Â6.1. Completeness and cocompleteness in accessible categories""; ""Â6.2. Models of a sketch in an accessible category""; ""Â6.3. Detectability of colimits""; ""Â6.4. Completing an accessible category""; ""References""; ""Index""; ""A""; ""B""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""K""; ""L""; ""M""; ""O""; ""P""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W""; ""Glossary of notation""

Notes:

Description based upon print version of record.

Includes bibliographical references (pages 165-166) and index.

Description based on print version record.

ISBN:

0-8218-7692-9

0-8218-5437-2