This is an old revision of the document!
Identity functor
Functor
| context | ${\bf C}$ … category |
| definiendum | $1_{\bf C}:{\bf C}\longrightarrow{\bf C}$ |
| definiendum | $1_{\bf C}A:=A$ |
| definiendum | $1_{\bf C}(f):=f$ |
Discussion
Reference
Parents
Element of
Requirements
