Models, logics, and higher-dimensional categories : a tribute to the work of Mihály Makkai
著者
書誌事項
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
大学図書館所蔵 全14件
注記
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
内容説明・目次
内容説明
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.
「Nielsen BookData」 より