布拉德·哈特（编辑）；托马斯·库切拉。（编辑）；阿南德·皮莱（编辑）；菲利普·斯科特。（编辑）；罗伯特·A·G·西利。（编辑） 模型、逻辑和高维范畴：向米哈利·麦凯的作品致敬。2009年6月18日至20日，加拿大蒙特利尔CRM会议记录。 （英语） 兹比尔1243.03004 CRM会议记录和课堂讲稿53。普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-0-8218-7281-9/pbk）。x、 第426页。(2011). 将索引文章显示为搜索结果。 马克凯无疑是范畴逻辑发展的领军人物之一，他的研究兴趣广泛，从范畴模型理论到具有从属分类的一阶逻辑和高维范畴理论。相应地，本次会议旨在向麦凯的工作致敬，包括位于金三角的论文，金三角的三个顶点是逻辑、范畴理论和计算机科学。本卷的文章将单独进行审查。索引文章：纳撒内尔·利多姆·阿克曼，滑轮类别中的可计数模型数，1-27[Zbl 1243.03044号]玛尔塔邦吉；克劳迪奥·赫米达、伪单病态和2层完井，29-54[Zbl 1243.18004号]Enns，Clint；托马斯·库切拉。，拓扑模块的纯度和纯吸引性，55-77[Zbl 1243.03056号]维克托·哈尼克《模型理论与范畴逻辑：完成前概念的两种方法》，79-106[Zbl 1243.03080号]托马斯·库切拉。《米哈利·麦凯：带回忆的传记》，ix-x[Zbl 1243.01017号]霍夫斯特拉，Pieter J.W。《Dialectica monad及其表兄妹》，107-137年[Zbl 1243.03074号]莫舍·卡门斯基，对内在性的绝对方法，139-156[Zbl 1243.03081号]奈特，Julia F。，Scott秩的可计算结构\（\omega_1^{\mathrm{CK}}\），157-168[Zbl 1243.03049号]约阿希姆·兰贝克，狭义相对论中的洛伦兹范畴，169-175[Zbl 1243.83012号]拉姆·穆萨，莫伊谢宗形态的模型理论对应物，177-188[Zbl 1243.03046号]阿南德·皮莱（Anand Pillay）；塔诺维奇，普雷德拉格，一般稳定性，正则性和拟极小性，189-211[Zbl 1243.03047号]权力，约翰，地方政府的索引Lawvere理论，213-229[Zbl 1243.18003号]普雷斯特，迈克，加法范畴中的模型理论，231-244[Zbl 1243.03053号]Reyes，Gonzalo E。，爱因斯坦真空场方程的推导，245-261[Zbl 1243.83017号]梅赫努什·萨德扎德，《匈牙利语序与循环前组的冒险》，263-275[Zbl 1243.91096号]萨拉、撒哈拉，不可接近的无限制模型，277-290[Zbl 1243.03048号]迈克尔·沃伦（Michael A.Warren）。，类型理论的严格（欧米伽）群解释，291-340[Zbl 1243.03012号]马雷克·扎瓦多夫斯基，松弛的单体纤维，341-426[Zbl 1243.18005号]审核人：Hirokazu Nishimura（筑波） MSC公司： 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 03C45号机组 分类理论、稳定性和模型理论中的相关概念 03元52分 模型类的属性 03C90号 非经典模型（布尔值、层等） 03G30型 分类逻辑，拓扑 18立方厘米 理论（例如代数理论）、结构和语义 18D05日 双类别，（2）-类别，双类别和泛化（MSC2010） 18天30分 光纤类别 00B25型 杂项特定利益的会议记录 00B30型 费斯特施里夫滕 关键词：可数模型；模型理论；范畴逻辑；高维范畴理论；堆栈；假单病态；预操作完成；纯洁；纯射性；辩证法；内在性；斯科特等级；狭义相对论；洛伦兹范畴；紧凑复合流形；双变形结构；共还原；计算效应；加法范畴；爱因斯坦真空方程；综合微分几何；预分组；极限模型；不可接近的；广群；马丁·洛夫类型理论；松单体纤维 传记参考： 米哈利·麦凯 PDF格式BibTeX公司 XML格式引用 \textit{B.Hart}（编辑）等人，《模型、逻辑和高维范畴：向米哈利·麦凯的工作致敬》。2009年6月18日至20日，加拿大蒙特利尔CRM会议记录。普罗维登斯，RI:美国数学学会（AMS）（2011；Zbl 1243.03004）