[论文解读] Adjoint Functors and Heteromorphisms

David Ellerman|ArXiv.org|Apr 17, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用 3

一句话总结

本文提出了一套严谨的异构态射（heteromorphisms）——即不同范畴之间对象的态射——的框架，表明伴随函子自然地作为这些异构态射通过异构双函子（het-bifunctors）的表示而出现。其核心贡献是一种对偶性：伴随关系被表征为异构态射的左表示与右表示，从而统一了不同范畴中普遍构造的起源。

ABSTRACT

Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades, the notion of adjoint functors has moved to center-stage as category theory's primary tool to characterize what is important in mathematics. Our focus here is to present a theory of adjoint functors. The basis for the theory is laid by first showing that the object-to-object "heteromorphisms" between the objects of different categories (e.g., insertion of generators as a set to group map) can be rigorously treated within category theory. The heteromorphic theory shows that all adjunctions arise from the birepresentations of the heteromorphisms between the objects of different categories.

研究动机与目标

• 建立对异构态射——即不同范畴中对象之间的态射——的正式处理，使其成为范畴论中合法且严谨的一部分。
• 通过展示伴随函子源于异构态射的表示，解决伴随函子起源的奠基性问题。
• 通过引入异构态射，将范畴论的埃尔朗根纲领式范式扩展至跨范畴关系。
• 证明伴随关系并非任意的，而是源于不同数学范畴之间结构性关系的普遍表示。
• 在统一的异构态射框架下，整合多样化的普遍构造（例如自由群、极限、指数对象）

提出的方法

• 将异构态射（hets）定义为使用双箭头（⇒）连接不同范畴中对象的态射，以区别于范畴内部的同态。
• 引入异构双函子（het-bifunctor），作为标准同态双函子（hom-bifunctor）的推广，将异构态射正式视为从两个范畴的乘积到集合范畴（Set）的函子。
• 证明伴随表示定理：每个伴随关系都源于通过每个范畴中同态双函子对异构双函子的表示。
• 构建异构伴随正方形（het-adjunctive squares），将伴随关系嵌入乘积范畴中，展示伴随关系的单位与余单位如何对应为异构态射。
• 利用异构双函子将伴随关系表征为左表示与右表示：左伴随函子表示从范畴 C 到 D 的异构态射，右伴随函子表示从 D 到 C 的异构态射。
• 证明标准伴随关系（例如自由-遗忘、乘积-极限、指数）均为此异构表示框架下的实例。

实验结果

研究问题

• RQ1 如何在范畴论中正式处理异构态射——即不同范畴中对象之间的态射？
• RQ2 伴随函子的起源是什么？其是否源于涉及跨范畴关系的普遍构造？
• RQ3 能否系统地从每个范畴中同态双函子对异构双函子的表示中推导出伴随关系？
• RQ4 标准伴随关系（如自由群、极限、指数）如何融入异构态射框架？
• RQ5 异构态射在统一数学中跨范畴的多样化普遍映射性质方面，其概念性作用是什么？

主要发现

• 通过异构双函子，可以严谨地形式化不同范畴中对象之间的异构态射，从而扩展标准同态双函子框架。
• 伴随表示定理确立了：每个伴随关系都源于两个范畴之间异构双函子的左表示与右表示。
• 伴随关系并非孤立的构造，而是自然地作为通过内部同态函子表示跨范畴关系的普遍解而出现。
• 指数伴随关系被证明可分解为两个对偶的异构伴随正方形：一个表示伴随关系为反射，另一个表示为余反射，其单位与余单位被重新解释为异构态射。
• 该框架解释了为何伴随关系是基础性的：它们将外部结构性关系（通过异构态射）内化为每个范畴内的普遍构造。
• 该理论通过表明伴随关系是异构态射表示的自然结果，从而证明了伴随关系在范畴论中的核心地位，将多样化的普遍性质统一于单一概念视角之下。