Models, logics, and higher-dimensional categories : a tribute to the work of Mihály Makkai
Author(s)
Bibliographic Information
Models, logics, and higher-dimensional categories : a tribute to the work of Mihály Makkai
（CRM proceedings & lecture notes, v. 53）
American Mathematical Society, c2011
- : pbk
Available at 14 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: pbkC-P||Montréal||2009.6200021325730
Note
Proceedings of a conference held at Centre de recherches mathématiques of the Université de Montréal, June 18-20, 2009
Includes bibliographical references
Other editors: Thomas G. Kucera, Anand Pillay, Philip J. Scott, Robert A.G. Seely
Description and Table of Contents
Description
This book deals with the main themes in Mihaly Makkai's research career: traditional model theory, categorical model theory and logics, and higher-dimensional category theory. Included are both research papers and survey papers, giving useful material for experts and students in these fields. Particularly valuable are papers that show how the techniques and understanding in one field can be productively applied to another; examples are the paper by Harnik, which explains how Shelah's $T^{eq}$ construction (in model theory) is the same as the categorical notion of pretopos completion; the paper by Kamensky, which gives category-theoretic treatments of sophisticated notions from stability theory; and the paper by Prest relating categorical logic and the model theory of modules. These and other papers in this volume should make this a valuable resource for any mathematician interested in classical or categorical model theory or higher dimensional category theory.
by "Nielsen BookData"