F is a left adjoint of G and both functors are full and faithful.
F 是 G 的一个左伴随且两个函子都完全且忠实。