The pullback functor is an adjoint

Recall the notion of pullbacks, which for the sake of this exercise we will only consider in the category $Set$ .

Show that the functor which assigns to each diagram of the form $X \overset{f}{\to} Z \overset{g}{\leftarrow} Y$ in $Set$ the pullback $X \times_{Z} Y$ is a right adjoint of another functor. Describe the unit and counit of the adjunction.

Note

You don't need to check every tiny detail for this one. Define the pullback as a functor (giving the maps on objects and arrows), and then explicitly define the set map that should be a natural bijection between the appropriate hom-sets.

Hints

Let $J$ be the category with three objects and two non-identity arrows, visualized as $∙ \to ∙ \leftarrow ∙$ . Functors $J \to Set$ then correspond to diagrams in $Set$ of shape $J$ ; i.e., diagrams of the form $X \overset{f}{\to} Z \overset{g}{\leftarrow} Y$ in $Set$ . Let ${Set}^{J}$ denote the category of functors $J \to Set$ and let $Δ : Set \to {Set}^{J}$ denote the diagonal functor. Show the pullback functor is a right adjoint of $Δ$ .