Isbell自由和Kan自由通过量化富集的双变量伴随关系

摘要:通过在连续量代数范畴中加强范畴之间的二元自由构造,得到了构造函子范畴之间的Isbell伴随的基础,并且Kan伴随恰好是由适当的相关二元伴随构造的Isbell伴随。这些伴随的不动点的表示定理也得到了证明。

作者:Lili Shen, Xiaoye Tang

论文ID:2102.09789

分类:Category Theory

分类简称:math.CT

提交时间:2022-01-27

PDF 下载: 英文版 中文版pdf翻译中