☰

правый сопряжённый функтор на китайском

сущ.
мат.
余伴随函子 yú bànsuí hán zǐ