摘要:通过在连续量代数范畴中加强范畴之间的二元自由构造,得到了构造函子范畴之间的Isbell伴随的基础,并且Kan伴随恰好是由适当的相关二元伴随构造的Isbell伴随。这些伴随的不动点的表示定理也得到了证明。
作者:Lili Shen, Xiaoye Tang
论文ID:2102.09789
分类:Category Theory
分类简称:math.CT
提交时间:2022-01-27
PDF 下载: 英文版 中文版pdf翻译中