隐含装配
摘要：导言：推导代数是最近由Miquel发现的一种组合结构，它统一了经典的和直觉主义的可实现性以及强迫性。在本文中，我们将推导集合引入作为在底层推导代数分离器中取值的集合。给定一个固定的推导代数A，A上的推导集合在Asm类别中组织自己，其中跟踪集合论函数作为态射。我们证明了Asm是一个具有NNO的拟拓扑空间。
作者：F''elix Castro, Alexandre Miquel and Krzysztof Worytkiewicz
论文ID：2304.10429
分类：Algebraic Topology
分类简称：math.AT
提交时间：2023-04-21