This is an old revision of the document!
Constant functor
Functor
context | ${\bf C},{\bf D}$ … category |
context | $D:\mathrm{Ob}_{\bf D}$ |
definiendum | $(\Delta D):{\bf C}\longrightarrow{\bf C}^{\bf D}$ |
definition | $(\Delta D)\,C:=D$ |
definition | $(\Delta D)(f):=\mathrm{id}_D$ |
Discussion
Reference
Wikipedia: Diagonal functor
nLab: constant functor