This is an old revision of the document!


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 D)\,C:=D$
definition $(\Delta D)(f):=\mathrm{id}_D$

Discussion

Reference

Parents

Element of

Link to graph
Log In
Improvements of the human condition