定値函手
constant functor$ \varDelta X
constant functor in nLab
圈$ \bf Cから對象$ X_{\in|{\bf D}|}への定値函手$ \varDelta X:{\bf C}\to{\bf D}とは、$ \bf Cの對象を$ Xに對應させ、$ \bf Cの射を$ {\rm id}_Xに對應させる函手を言ふ
一點圈$ \bf 1から$ Xへの函手$ X:{\bf 1}\to{\bf D},1\mapsto Xと、$ \bf Cを添へ字圈とした對角函手$ \varDelta_{\bf C}:{\bf D}\to{\bf D}^{\bf C}の合成$ \varDelta X\cong\varDelta_{\bf C}\circ Xと見做せる