text: Лемма Йонеды утверждает, что: для любого объекта A категории C, естественные преобразования из hA в F находятся во взаимно-однозначном соответствии с элементами F(A): N a t ( h A , F ) ≅ F ( A ) . {\displaystyle \mathrm {Nat} (h^{A},F)\cong F(A).} Для данного естественного преобразования Φ из hA в F соответствующий элемент F(A) — это u = Φ A ( i d A ) {\displaystyle u=\Phi _{A}(\mathrm {id} _{A})} , то есть естественное преобразование однозначно определяется образом тождественного морфизма.