论文标题
第四届应用类别理论国际会议论文集
Proceedings of the Fourth International Conference on Applied Category Theory
论文作者
论文摘要
第四次应用类别理论会议于2021年7月12日至16日在剑桥大学计算机实验室举行。这是一场混合活动，剑桥和其他参与者在线参加活动。 记录了所有谈判，并且视频已在线发布，可以在会议网站（https://www.cl.cam.ac.uk/events/act2021/）上找到链接。 在先前的ACT会议上继续趋势，对2021 ACT的贡献范围从纯化到应用，代表了各种各样的分类技术和应用主题，包括：图形计算；镜片；差分类别；分类概率理论；机器学习；游戏理论；控制论；自然语言语义和处理；密码学；和有限模型理论。 该程序卷包含大约一半的论文作为第2021号法案的会谈。此选择反映了作者选择是在本卷中还是在其他地方发表论文的选择。
The Fourth International Conference on Applied Category Theory took place at the Computer Laboratory of the University of Cambridge on 12--16 July 2021. It was a hybrid event, with physical attendees present in Cambridge and other participants taking part online. All the talks were recorded and the videos have been posted online, links to which can be found on the conference website (https://www.cl.cam.ac.uk/events/act2021/). Continuing the trend in the previous meetings of ACT, the contributions to ACT 2021 ranged from pure to applied and represented a great variety of categorical techniques and application topics, including: graphical calculi; lenses; differential categories; categorical probability theory; machine learning; game theory; cybernetics; natural language semantics and processing; cryptography; and finite model theory. This proceedings volume contains about half of the papers that were presented as talks at ACT 2021. This selection is a reflection of the authors' choice as to whether to publish their papers in this volume or elsewhere.
