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$ |
Discussion
Reference
Wikipedia: Diagonal functor
nLab: constant functor
Parents
Element of
