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

{| width = "100%"

|- ! colspan="3" align="center" | Mathematics desk |- ! width="20%" align="left" | < September 1 ! width="25%" align="center"|<< Aug | September | Oct >> ! width="20%" align="right" |Current desk > |}

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⊣(-{)}^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)