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