It looks like you're new here. If you want to get involved, click one of these buttons!
1.89 notes that for a function f, the left and right adjoints of the pullback of f, f! and f* respectively, have very natural interpretations. It would be helpful for me, at least, to show that these, as defined in 1.89, are indeed left and right adjoints.
Further questions: does the procedure for generating f! and f* generalize to pullbacks outside of the category of sets?