@书籍{zbMATH05945132，编辑={Hart，Bradd and Kucera，Thomas G.and Pillay，Anand and Scott，Philip J.and Seely，Robert A.G.}，标题={模型、逻辑和高维范畴：{A}对{Mih{\'A}ly}{Makkai}工作的致敬。{Proceedings}of a conference，{CRM}，{Montr{\'e}al}，加拿大，{June}18--20，2009}，F系列＝｛CRM会议记录和讲座笔记｝，系列={CRM Proc.Lect.Notes}，ISSN={1065-8580}，体积={53}，国际标准图书编号={978-0-8218-7281-9}，年份={2011}，出版商={普罗维登斯，RI:美国数学学会（AMS）}，语言={英语}，关键词={03-06,03C45,03C52,03C90,03G30,18C10,18D05,18D30,00B25,00B30}，zbMATH={5945132}，Zbl={1243.03004}}