更新时间：2024-05-21 15:06
对角函子是范畴论中的一种特殊函子。
设C与J为范畴。则对角函子Δ:C→CJ将C中对象c打到常数函子Δc，将C中态射f:c→c'打到自然变换Δf:Δc→Δc'，满足对任意i∈J，Δc(i)=c，Δf(i)=f。
给定范畴C，常用的对角函子为Δ:C→C×C，对C中对象c与态射f:c→c'有Δ(c)=，Δ(f)=。