关于Diers谱理论 I：稳定函子与右多重伴随

Diers发展了右多重伴随函子的一般理论，导出了一种纯范畴的、点集式的谱构造。多重普适性质的情形返回一组规范解而非唯一解。在右多重伴随的情况下，每个对象展开一个局部单位的规范锥，共同承担伴随中单位的作用。本第一部分围绕多重伴随理论展开，回顾或厘清后续用于几何目的的结果。我们还研究了较弱的局部伴随概念，证明了关联局部伴随的Beck-Chevalley条件及其与稳定函子概念的等价性。我们也回顾了与自由积完备化的联系，并描述了多重伴随情形中涉及的分解方面。还重新探讨了可访问右多重伴随与局部有限多重可表范畴之间的关系。