text: Положим k ( e i ) = e i {\displaystyle k(e_{i})=e^{i}} и распространим k {\displaystyle k} линейно на всё пространство V {\displaystyle V} . k {\displaystyle k} отображает тождественный (очевидно ковариантный) функтор I {\displaystyle I} в контравариантный функтор D {\displaystyle D} , отображающий векторное пространство в сопряжённое пространство функционалов.