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.