 An adjunction between categories "C" and "D" is somewhat akin to a "weak form" of an equivalence between "C" and "D", and indeed every equivalence is an adjunction.In many situations, an adjunction can be "upgraded" to an equivalence, by a suitable natural modification of the involved categories and functors.Two different roots are being used