text: Если образы S , T {\displaystyle S,T} совпадают, то диаграмма, определяющая морфизм в S ↓ T {\displaystyle S\downarrow T} с α = β , α ′ = β ′ , g = h {\displaystyle \alpha =\beta ,\alpha '=\beta ',g=h} совпадает с диаграммой, определяющей естественное преобразование S → T {\displaystyle S\to T} .