Models, Logics, and Higher-dimensional Categories: A Tribute to the Work of Mihaly Makkai (CRM Proceedings & Lecture Notes)

Bradd Hart

ISBN 10: 0821872818 / ISBN 13: 9780821872819

Published by American Mathematical Society, 2011

About this Item

Proceedings of a conference held at Centre de recherches mathematiques of the Universite de Montreal, June 18-20, 2009. Editor(s): Hart, Bradd T.; Kucera, Thomas G.; Pillay, Anand; Scott, Philip J.; Seely, Robert A. G. Series: CRM Proceedings & Lecture Notes. Num Pages: 426 pages, Illustrations. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 254 x 178. Weight in Grams: 785. . 2011. Paperback. . . . .

Seller Inventory # V9780821872819

Bibliographic Details

• Title: Models, Logics, and Higher-dimensional Categories: A Tribute to the Work of Mihaly Makkai (CRM Proceedings & Lecture Notes)
• Publisher: American Mathematical Society
• Publication Date: 2011
• Language: English
• ISBN 10: 0821872818
• ISBN 13: 9780821872819
• Binding: Soft cover
• Condition: New

About this title

Synopsis

This book deals with the main themes in Mihály 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. Titles in this series are co-published with the Centre de Recherches Mathématiques.