CABool is monadic over almost all categories (Q1184039): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: SHEAVES OF BANACH SPEACES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3682648 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Closure operators. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5612499 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3898534 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3965241 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3950708 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4519573 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4102451 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5649639 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3358922 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3960996 / rank | |||
Normal rank |
Latest revision as of 15:56, 15 May 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