关于Diers谱理论I：稳定函子和右伴随
摘要：多重伴随函子的一般理论为纯粹的范畴论点集构造谱提供了基础。多元宇宙特性的情况会返回一组规范解，而不是唯一解。对于右多重伴随情况，每个对象都具有一个规范锥，共同扮演着伴随的单位的角色。这第一部分围绕着多重伴随的理论展开，并回顾或详述之后在几何目的上将被使用的结果。我们还研究了较弱的局部伴随概念，证明了Beck-Chevalley条件关于局部伴随和稳定函子概念的等价性。我们还回顾了与自由积完成的关联，并描述了多重伴随情况中涉及的因子化方面。还重新审视了可访问的右多重伴随和具有局部有限多重能表示的范畴之间的关系。
作者：Axel Osmond
论文ID：2012.00853
分类：Category Theory
分类简称：math.CT
提交时间：2021-04-27