CABool is monadic over almost all categories (Q1184039): Difference between revisions

Let \(U: \text{Set}^{\text{op}}\to{\mathcal C}\) be a functor having a left adjoint \(F: {\mathcal C}\to\text{Set}^{\text{op}}\). Then \(F^{\text{op}}: {\mathcal C}^{\text{op}}\to\text{Set}\) is representable by the object \(A=U(1)\), and \(U\) is the functor \(A^{(-)}\) exponential with base \(A\). Let \(\mathbb{T}\) be the monad on \(\mathcal C\) generated by \(U\), \({\mathcal C}^{\mathbb{T}}\) the category of \(\mathbb{T}\)-algebras, and \(\Phi: {\mathcal C}^{\text{op}}\to {\mathcal C}^{\mathbb{T}}\) the comparison functor. The paper gives a concrete description of the \(\mathbb{T}\)-algebras and \(\mathbb{T}\)- morphisms, and proves, under mild conditions, that \(\Phi\) is an equivalence of categories and therefore that \(\text{CABool}\sim\text{Set}^{\text{op}}\) is monadic over \(\mathcal C\). Moreover, a skeleton of \({\mathcal C}^{\mathbb{T}}\) is, up to isomorphism, proved to be a reflective subcategory of \(\mathcal C\) if and only if there exists no unnatural isomorphism between powers of \(A\). Some examples are given.