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

сущ.
мат.
一一的函子 yīyī de hán zǐ