[論文レビュー] Adjoint Functors and Heteromorphisms

David Ellerman|ArXiv.org|Apr 17, 2007

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

ひとこと要約

この論文は、異なる圏間の対象の間の準同形（heteromorphisms）—すなわち、異なる圏に属する対象の間の準同形—を厳密に取り扱うフレームワークを導入し、het-双関手を介して随伴関手が自然に表現されることを示している。主な貢献は、随伴が異種準同形の左および右表現として特徴づけられることに由来する双対性であり、このことによって、さまざまな圏における普遍的構成の起源が統一的に明らかになる。

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）を定義し、それらを圏内準同形とは明確に区別する。
• hom-双関手の一般化としてのhet-双関手を導入し、異種準同形を2つの圏の積からSetへの関手として形式的に取り扱う。
• 随伴表現定理の証明：任意の随伴は、それぞれの圏におけるhom-双関手を介してhet-双関手の表現から生じる。
• 随伴を積圏に埋め込むhet-随伴正方形を構成し、随伴の単位と余単位が異種準同形に対応することを示す。
• het-双関手を用いて随伴を左および右表現として表現し、左随伴関手が圏CからDへのhetsを表現し、右随伴関手がDからCへのhetsを表現することを示す。
• 標準的な随伴（例：自由-忘却、積-極限、指数関手）が、すべてこの異種準同形表現フレームワークの具体例であることを示す。

実験結果

リサーチクエスチョン

• RQ1 異種準同形（異なる圏に属する対象の間の準同形）は、どのようにして圏論の枠組み内で形式的に取り扱えるか？
• RQ2 異種準同形を含む普遍的構成の観点から、随伴関手の起源は何か？
• RQ3 各圏におけるhom-双関手を介して異種準同形を表現することにより、随伴を体系的に導出できるか？
• RQ4 標準的な随伴（例：自由群、極限、指数関手）は、どのようにして異種準同形フレームワークに適合するか？
• RQ5 異種準同形は、数学の多様な普遍的写像性質を統一する概念的役割を果たすか？

主な発見

• 異種準同形はhet-双関手を用いて厳密に形式化可能であり、標準的なhom-双関手の枠組みを拡張する。
• 随伴表現定理により、任意の随伴が2つの圏間のhet-双関手の左および右表現から生じることが保証される。
• 随伴は孤立した構成物ではなく、内部のhom-関手を用いた圏間関係の普遍的表現として自然に生じる。
• 指数関手の随伴は、2つの双対的なhet-随伴正方形に分解可能である：一方は随伴を反射として、他方は余反射として表現し、単位と余単位を異種準同形として再解釈できる。
• このフレームワークにより、随伴が基礎的である理由が説明される：外部の構造的関係（hetsを介して）が、それぞれの圏内での普遍的構成に内蔵される。
• 異種準同形の表現が随伴を自然に生じることを示すことにより、理論が随伴の中心的役割を正当化し、多様な普遍的性質を一つの概念的レンズで統一する。