TY - DATA AU - Hart, Bradd T. AU - Makkai, Mihaly TI - Models, logics, and higher-dimensional categories: a tribute to the work of Mihaly Makkai T2 - CRM Proceedings and Lecture Notes, SN - 9781470415877 (online) PY - 2011/// CY - Providence, R.I. PB - American Mathematical Society KW - Categories (Mathematics) KW - Mathematical logic and foundations -- Model theory -- Classification theory, stability and related concepts KW - Mathematical logic and foundations -- Proceedings, conferences, collections, etc KW - Model theory N1 - Proceedings of a conference held at Centre de recherches mathematiques of the Universite de Montreal, June 18-20, 2009; Includes bibliographical references and index; The number of countable models in categories of sheaves ; Pseudomonodacity and 2-stack completions ; Purity and pure-injectivity for topological modules ; Model theory vs. categorical logic: Two approaches to pretopos completion (a.k.a. UR - http://www.ams.org/crmp/053 ER -