~ a : Hom_D(F(X),Y) ----> Hom_C(X,G(Y)).We say that F is the left adjoint functor and that G is the right adjoint functor. We give two examples. Firstly, let C be the category of sets and maps, and let D be the category of abelian groups and group homomorphisms. Let F be the functor that to a set X associates the free abelian group F(X), and let G be the functor that to an abelian group A associates the underlying set G(A) of A. We say that G is a forgetful functor because it forgets the abelian group structure on the set A. Then there is an adjunction (F,G,a), where the adjunction isomorphism a is given by a(f)(x) = f(x). Secondly, let I be a small category (this means that the class of objects forms a set), and let C be any category. Let us assume that colimits and limits indexed by I exist in C. We let C^I be the category of I-diagrams in C. It is defined by
ob(C^I) = all functors X : I --> C. mor(C^I) = all natural transformations between such functors.We define the diagonal functor
diag : C ---> C^Iby C(X)(i) = X, C(X)(i -> i') = id_X, and C(f)_i = f. Then there is an adjunction (colim_I,diag,a) where the isomorphism
a : Hom_C(colim_I X, Y) ---> Hom_{C^I}(X,diag(Y))takes the morphism f on the left-hand side to the natural transformation a(f) on the right-hand side whose value at the objects i in I is given by the composite map
g_i f a(f)_i : X_i ------> colim_I X ----> Ywhere g_i is the canonical map. Similarly, there is an adjunction (diag,lim_I,a). This just amounts to a reformulation of the definition of the colimit and limit of a diagram.
Suppose that (F,G,a) is an adjunction between two model categories C
and D. We say that the adjunction is a Quillen adjunction and that F
(resp. G) is a left (resp. right) Quillen functor if F preserves
cofibrations and trivial cofibrations, or equivalently, if G preserves
fibrations and trivial fibrations. It turns out that a left Quillen
functor preserves all weak equivalences between cofibrant objects and
that a right Quillen functor preserves all weak equivalences between
fibrant objects. We defined the