Identity functor
Functor
context
${\bf C}$ … category
definiendum
$Id_{\bf C}:{\bf C}\longrightarrow{\bf C}$
definiendum
$Id_{\bf C}A:=A$
definiendum
$Id_{\bf C}(f):=f$
Discussion
endofunctor
Reference
Parents
Element of
Functor
Requirements
Functor