constant_functor

Constant 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$