伴随函子

adjoint functors