一元函子

yīyuán hánzǐ

мат. одноместный функтор (monadic functor)