Constant functor - Axioms of Choice

Processing math: 100%

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

Log In

Improvements of the human condition