摘要：小的Quantaloid Q 的范畴是由Q-分布器和对角线组成的，证明了它等价于由Q-内部空间和连续的Q-分布器构成的范畴的商范畴。由Q-分布器引起的Kan伴随标定在建立这个等价性中起着关键作用。
作者：Lili Shen
论文ID：2003.13959
分类：Category Theory
分类简称：math.CT
提交时间：2022-01-27
PDF 下载： 英文版 中文版pdf翻译中