CABool is monadic over almost all categories

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Review text

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.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: CABool is monadic over almost all categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1184039)