幺半茎的表示
摘要：每个具有通用有限联合的中心幂等元的小张量范畴与一个拓扑空间上的本地张量范畴的全局截面的范畴在张量范畴上是等价的。每个小僵硬张量范畴都可以嵌入到这样一个全局截面的范畴中。这些定理的空间版本也适用于无限情况。这些表示结果是函子性的，并且包含了Lambek-Moerdijk-Awodey纤维丛表示范畴，Boolean代数的Stone表示，以及Hilbert模块的Takahashi连续域。张量范畴的许多属性都可以传递到其拓扑，包括具有迹，具有指数对象，具有对偶对象，具有某些形状的极限，以及中心幂等元形成一个Boolean代数。
作者：Rui Soares Barbosa and Chris Heunen
论文ID：2106.08896
分类：Category Theory
分类简称：math.CT
提交时间：2023-02-09