应用范畴论2020即将到来

应用范畴理论2020即将到来！在7月6日周日的辅导日之后，7月7日星期一到7月10日星期五将有讲座。以下是该程序-单击它下载更具可读性的版本：

以下是谈话内容！它们有三种：主旨演讲、定期演示和简短的行业演示。在每一本书中，我都按照演讲者的字母顺序列出了它们：我相信第一作者就是演讲者。

·布莱斯·克拉克(Bryce Clarke)、德里克·埃尔金斯(Derek Elkins)、杰里米·吉本斯(Jeremy Gibbons)、福斯科·洛雷根(Fosco Loregian)、巴托兹·米列夫斯基(Bartosz Milewski)、艾米莉·皮尔莫尔(Emily Pillmore)和马里奥·。

·Tobias Fritz，TomášGonda，Paolo Perrone和Eigil Rischel：分布函子，二阶随机支配和绝对概率中的Blackwell-Sherman-Stein定理。

·米卡·哈尔特(Micah Halt)、埃文·帕特森(Evan Patterson)、安德鲁·巴斯(Andrew Baas)和詹姆斯·费尔班克斯(James Fairbank)：使用Catlab和SemancModels进行。

·Lachlan McPhot，Mehrnoosh Sadrzadeh，Hadi Wazni和Gijs Wijnhold，Lambek演算的范畴向量空间语义学和相关模态。

·罗伯特·阿基(Robert Atkey)、布鲁诺·加夫拉诺维奇(Bruno Gavranović)、尼尔·加尼(Neil Ghani)、克莱门斯·库普克(Clemens Kupke)、杰里米·莱登特(Jeremy Ledent)和弗雷德里克·诺德瓦尔·福斯伯格(Fre。

·马尔科·贝尼尼(Marco Benini)、马尔科·佩林(Marco Perin)、亚历山大·申克尔(Alexander Schenkel)和卢卡斯·沃克：代数量子场论的范畴化。

·鲍勃·科克(Bob Coecke)、乔瓦尼·德·费利斯(Giovanni De Felice)、康斯坦蒂诺斯·梅坎内齐迪斯(Konstantinos Meichanetzidis)、亚历克西斯·图米(Alexis Toumi。

·杰弗里·克鲁特维尔(Geoffrey Cruttwell)、乔纳森·加拉格尔(Jonathan Gallagher)和多雷特·普朗克(Dorette Pronk)：简单差分编程语言的范畴语义。

·乔瓦尼·德·费利斯(Giovanni De Felice)、埃琳娜·迪·拉沃尔(Elena Di Lavore)、马里奥·罗曼(Mario Román)和亚历克西斯·图米(Alexis Toumi。

·布伦丹·方(Brendan Fong)、大卫·贾兹·迈尔斯(David Jaz Myers)和大卫·I·斯皮瓦克(David I.Spivak)：行为市场学：传递约束的模态。

·罗科·甘格(Rocco Gangle)、吉安卢卡·卡特琳娜(Gianluca Caterina)和费尔南多·托梅(Fernando Tohme)，皮尔斯存在主义图(Alpha)的一般人物重构。

·迈克尔·约翰逊(Michael Johnson)和罗伯特·罗斯布鲁(Robert Rosebrogh)，腿越多越快乐：对称(多重)镜头的新成分。

·Tarmo Uustau，Niccolo Veltri和Noam Zeilberger：部分正规斜幺半群范畴的证明理论。

·德米特里·瓦格纳(Dmitry Vagner)、大卫·I·斯皮瓦克(David I.Spivak)和埃文·帕特森(Evan Patterson)。

·马修·威尔逊(Matthew Wilson)、詹姆斯·赫福德(James Hford)、纪尧姆·博伊索(Guillaume Boisseau)和文森特·王(Vincent Wang)：更新结构之旅：参观镜头和量子封闭空间。

·保罗·威尔逊(Paul Wilson)和法比奥·扎纳西(Fabio Zanasi)：逆导数上升：学习布尔电路的一种分类方法。

·乔埃勒·扎尔迪尼(Gioele Zardini)、大卫·I·斯皮瓦克(David I.Spivak)、安德里亚·森西(Andrea Censi)和埃米利奥·弗拉佐利(Emily Io Frazzoli)：基于事件的系统的组合