随伴関手 (ずいはんかんしゅ) — adjoint functors | Kumi Dictionary