left adjoint

《Basic Category Theory》 · 第 41 页 · Definition 2.1.1

In an adjunction \(\mathcal B(F(A),B)\cong\mathcal A(A,G(B))\), the functor \(F\) is called the left adjoint and \(G\) the right adjoint.