Constant functor

Functor

 context ${\bf C},{\bf D}$ … category context $D:\mathrm{Ob}_{\bf D}$ definiendum $\Delta_D:{\bf C}\longrightarrow{\bf D}$ definition $\Delta_DC:=D$ definition $\Delta_D(f):=\mathrm{id}_D$