The Eilenberg-Moore category and a Beck-type theorem for a Morita context (Q657591): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2079751484 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0811.4304 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4674796 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4413070 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pre-torsors and Galois comodules over mixed distributive laws / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bimodule herds. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Wide Morita contexts and equivalences of comodule categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Adjoint functors and triples / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3408002 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5719209 / rank | |||
Normal rank |
Latest revision as of 20:18, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Eilenberg-Moore category and a Beck-type theorem for a Morita context |
scientific article |
Statements
The Eilenberg-Moore category and a Beck-type theorem for a Morita context (English)
0 references
10 January 2012
0 references
The classical Beck (co)monadicity theorem is extended to the study of double adjunctions and Morita contexts. Given categories \(\mathcal {X, Y}\) the category \(\mathbf{Adj}(\mathcal {X,Y})\) is the full subcategory of \(\mathbf {Span}(\mathcal{X,Y})\) generated by those spans \(\mathcal {X} \leftarrow \mathcal {Z} \rightarrow \mathcal {Y}\) where both arrows have left adjoints. The category \(\mathbf {Mor}(\mathcal {X,Y})\) has objects a monad on each category together with a balanced pair of formally dual bialgebras (and suitably defined arrows). These notions are defined in Section 2. Section 3 is concerned with the details of a functor \(\mathbf {Adj}(\mathcal {X,Y})\to \mathbf {Mor}(\mathcal {X,Y})\), showing that the classical construction of a monad from an adjunction extends to give a Morita context from a double adjunction. The functor \(\mathbf {Mor}(\mathcal {X,Y}) \to \mathbf {Adj}(\mathcal {X,Y})\) in the other direction is the `doubled' version of the Eilenberg-Moore construction. It is shown that every Morita context arises from a double adjunction and the comparison functor is constructed. The classical notion of a right adjoint being monadic is here extended to the notion of a double adjunction being \textit{moritable} if the comparison functor gives an equivalence of categories. The section closes with a study of moritability, which is the extension of Beck's monadicity theorem. Section 4 is a general treatment of Morita theory for Morita contexts and Section 5 discusses several applications (e.g., single adjunctions, Morita theory for rings, categories with binary coproducts, Herds and pretorsors). As noted in the final section on generalizations the theory presented in the article fits into the more abstract framework of bicategories. The authors' choice to present the theory in the setting given certainly achieves their goal of creating an accessible and clear treatment, which is moreover very much self-contained.
0 references
monad
0 references
Eilenberg-Moore category
0 references
monadicity
0 references
double adjunction
0 references
Morita context
0 references
Morita equivalence
0 references
Beck's monadicity theorem
0 references
moritability
0 references
bicategories
0 references