彼得·霍夫斯特拉（Pieter J.W.Hofstra）。 Dialectica monad及其堂兄弟。 （英语） Zbl 1243.03074号 Hart，Bradd（编辑）等人，《模型、逻辑和高维范畴：向米哈利·麦凯的工作致敬》。2009年6月18日至20日，加拿大蒙特利尔CRM会议记录。普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-0-8218-7281-9/pbk）。CRM会议记录和演讲笔记53，107-137（2011）。 这篇论文是解释性的。K·哥德尔《辩证法》12，280–287（1958；Zbl 0090.01003号)]著名的辩证法解释是用范畴术语来描述的，即在[V.C.V.de Paiva公司，内容。数学。92, 47–62 (1989;Zbl 0675.03039号)]. 然而，辩证法的解释有点复杂。作者认为，通过将单体、简单产品和副产品的著名概念放在中心位置，一幅概念上令人愉悦且易于理解的画面浮现出来。结果表明，辩证法结构实际上是一个两步结构。还证明了辩证法结构（当在一般fibrations的层次上进行，并且在通常的假设基础范畴是笛卡尔闭合的情况下进行时）本身就是一元的。主要观察结果是，Skolemization原理在量化单子体之间采用了（伪）分配律的形式。关于整个系列，请参见[Zbl 1243.03004号].审核人：Hirokazu Nishimura（筑波） 引用于1审查引用于6文件 理学硕士： 03英尺10英寸 证明论中的泛函 03楼50 构造系统的元数学 18个C20 单体的Eilenberg-Moore和Kleisli构造 18 C50 形式语言的范畴语义 18天30分 光纤类别 引文：兹比尔0090.01003;Zbl 0675.03039号 PDF格式BibTeX公司 XML格式引用 \textit{P.J.W.Hofstra}，in：模型、逻辑和高维范畴：向米哈利·麦凯（Mihály Makkai）的作品致敬。2009年6月18日至20日，加拿大蒙特利尔CRM会议记录。普罗维登斯，RI：美国数学学会（AMS）。107-137（2011；Zbl 1243.03074）