Tannakian Reconstruction
3 days ago
- #Functor
- #Tannakian Reconstruction
- #Category Theory
- Tannakian 重建类似于 Bob 的摄影项目：通过合并来自多个函子的图像来恢复原始范畴的结构。
- 函子将源范畴映射到目标范畴时保留其结构，对象间的态射也被映射。
- 纤维函子将对象映射到集合（在集合范畴中），将态射映射为函数，允许通过自然变换探究对象及其邻域。
- 为重建 hom-集，考虑纤维函子间的自然变换，用端（end）表示，它结合所有可能的函子，就像叠加照片一样。
- 函子性确保了端的非平凡性，因为态射诱导集合间的函数，而 Yoneda 嵌入表明这些对应原始态射。
- 利用 Yoneda 引理和约化，原始 hom-集得以恢复，从而证明 Tannakian 重建。
- 示例将重建应用于单对象范畴（幺半群），通过自然变换从所有集合表示中恢复该幺半群。