-
對角函子
鎖定
- 中文名
-
對角函子
- 外文名
-
diagonal functor
- 所屬學科
-
範疇論
對角函子定義
設C與J為
範疇。則
對角函子Δ:C→C
J將C中
對象c打到
常數函子Δc，將C中
態射f:c→c'打到
自然變換Δf:Δc→Δc'，滿足對任意i∈J，Δc(i)=c，Δf(i)=f。
[1]
對角函子例子
給定範疇C，常用的對角函子為Δ:C→C×C，對C中對象c與態射f:c→c'有Δ(c)=<c,c>，Δ(f)=<f,f>。
[1]
- 參考資料
-
-
1.
Saunders Mac Lane．數學工作者必知的範疇學 第2版：Springer，1978
