# Tag Info

This is best understood via the bicategorical characterization of adjunctions in terms of unit and counit 2-morphisms. It is then clear that any bifunctor preserves adjunctions in the obvious sense. And taking presheaf categories and pullback functors is clearly a bifunctor from (small categories)$^{op}$ to categories.