===== Identity functor =====
==== Functor ====
| @#55CCEE: context     | @#55CCEE: ${\bf C}$ ... category |
| @#FFBB00: definiendum | @#FFBB00: $Id_{\bf C}:{\bf C}\longrightarrow{\bf C}$ |
| @#FFBB00: definiendum | @#FFBB00: $Id_{\bf C}A:=A$ |
| @#FFBB00: definiendum | @#FFBB00: $Id_{\bf C}(f):=f$ |

==== Discussion ====
>endofunctor
=== Reference ===
==== Parents ====
=== Element of ===
[[Functor]]
=== Requirements ===
[[Functor]]