Hey Anindya,

Great! I could only figure \$$\hat{F} \hat{G} = \widehat{F \circ G}\$$ using an adjunction, but you strengthened it!

I think all of the results involving conjoints are basically the same arguments but flipped.