摘要：2-范畴上索引的p rofunctor的概念及其应用于极限的抽象理论的定义。该理论包括（锥形）极限，加权极限，端和Kan扩展。结果包括右伴随函子保持极限的抽象版本的定理，以及涉及在任何函子变量中涉及的比较箭头在函子中保持极限的现象的抽象描述。这些结果广泛使用了2-范畴上索引的p rofunctor的数据和公理。
作者：Sori Lee
论文ID：2302.06515
分类：Category Theory
分类简称：math.CT
提交时间：2023-02-14
PDF 下载： 英文版 中文版pdf翻译中