#adjoint functors #category theory #grothendieck category #module category #functor pair f g #equivalence condition