反変関手
【はんへんかんしゅ】
【hanhenkansyu】
反变函子