text: Функтор F : C → Set называется представимым, если он естественно изоморфен Hom(A,-) для некоторого объекта A категории C. Контравариантный функтор G из C в Set, обычно называемый предпучком, представим, если он естественно изоморфен контравариантному hom-функтору Hom(-,A) для некоторого объекта A категории C. Согласно лемме Йонеды, естественные преобразования Hom(A,-) в F находятся во взаимно-однозначном соответствии с элементами F(A).