扩展有限单子范畴的丰富观——Lawvere理论对应
摘要：关于局部有限呈现基础上的有限性单子与劳韦尔理论之间的对应关系，我们提供了一种新的解释，这种对应关系首次由Nishizawa-Power建立。我们的解释以富集范畴论的方式阐明了这种对应关系：从有限性单子到相应的劳韦尔理论的过程被展示为富集范畴在一类绝对余极限下的自由完成的一个实例。这扩展了第一作者的工作，他在有限性单子和劳韦尔理论在集合范畴上的情况下证明了这个结果；这个推广的一个新颖之处是使用了蓄积分类而不是幺半范畴来捕捉所有局部有限呈现基础上的单子-理论对应关系。
作者：Richard Garner and John Power
论文ID：1707.08694
分类：Category Theory
分类简称：math.CT
提交时间：2023-06-22