унивалентный функтор

Мат. univalent functor