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

Bradd Hart ... [et al.], editors

(CRM proceedings & lecture notes, v. 53)

American Mathematical Society, c2011

  • : pbk

この図書・雑誌をさがす
注記

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」 より

関連文献: 1件中  1-1を表示
ページトップへ