Models, logics, and higher-dimensional categories : a tribute to the work of Mihály Makkai

Bibliographic Information

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

Search this Book/Journal
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"

Related Books: 1-1 of 1
Page Top