Wikipedia:Reference desk/Archives/Mathematics/2015 September 2

Welcome to the Wikipedia Mathematics Reference Desk Archives
The page you are currently viewing is a transcluded archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.

September 2

(Co)monadicity of exponential adjunction

Given a nonempty set X, is it true that the adjunction $(-)\times X\dashv (-)^{X}$ is monadic and comonadic? More generally, when is this true for an object X of a Cartesian closed category C? GeoffreyT2000 (talk) 02:35, 2 September 2015 (UTC)