Dada una categoría A {displaystyle {mathcal {A}}} , vamos dicir que yel funtor identidá a I : A → A {displaystyle I:{mathcal {A}}rightarrow {mathcal {A}}} si dexa tou A {displaystyle {mathcal {A}}} igual, claramente ye un funtor covariante recurriendo a la definición.