Wisbauer, R.
(Algebra and Discrete Mathematics, 2013)
For functors L : A → B and R : B → A between any categories A and B, a pairing is defined by maps, natural in A ∈ A and B ∈ B,
MorB(L(A), B) ↔ MorA(A, R(B)).
(L, R) is an adjoint pair provided α (or β) is a bijection. ...