所有概念都是$mathbb{C}mathbf{at}^#$
摘要：在多项式函子范畴中的余半群双范畴（Ahman-Uustalu和Garner之前已经证明与范畴、反函子和prafunctor的双范畴等价）中，我们展示了它包含了几个基本范畴论的形式设置，为Generalized higher categories中韦伯(Wrber) 神经构造提供了一个优雅的描述，且具有与动态重组系统的双范畴和有限极限范畴中的Generalized polynomials的双范畴等效的子范畴。作为范畴数据库理论的自然环境，mathbb{C}mathbf{at}^#同时还包含了多项式函子和更高范畴的理论和应用中的一系列概念的模型。
作者：Owen Lynch and Brandon T. Shapiro and David I. Spivak
论文ID：2305.02571
分类：Category Theory
分类简称：math.CT
提交时间：2023-05-23