随伴関手

ずいはんかんしゅ