更新时间：2024-05-21 12:22
常数函子是范畴论中一种特殊函子。
给定C与J为范畴，j∈Ob(J)，fj∈Mor(J)，对角函子Δ:C→CJ，函子范畴CJ中常数函子Δc，定义为Δc(i)=c，Δc(fj)=1c。