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

= 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)