Hom-функтор и естественная смена перспективы

Пост- и пред- композиции. Ковариантность и контравариантность. Преобразование множества стрелок. Условие естественности. Hom функторы в теории категорий. текст: Замечание: в nLab индекс в буквы H ставится наоборот (сверху вниз) - внизу для контр-вариантного и сверху для ко-вариантного функторов. Также в ру-wiki. В англоязыной wiki - индексы проставлены как в видео (снизу вверх). -------------------------------------------------------------------