CABool is monadic over almost all categories (Q1184039): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q171472 |
||
Property / reviewed by | |||
Property / reviewed by: Yves Diers / rank | |||
Revision as of 05:59, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | CABool is monadic over almost all categories |
scientific article |
Statements
CABool is monadic over almost all categories (English)
0 references
28 June 1992
0 references
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.
0 references
complete atomic Boolean algebras
0 references
monad
0 references
comparison functor
0 references
equivalence of categories
0 references
skeleton
0 references
reflective subcategory
0 references