Pre-torsors and Galois comodules over mixed distributive laws (Q543492): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3099931493 / rank | |||
Normal rank |
Revision as of 02:29, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Pre-torsors and Galois comodules over mixed distributive laws |
scientific article |
Statements
Pre-torsors and Galois comodules over mixed distributive laws (English)
0 references
17 June 2011
0 references
The paper studies Galois functors in the sense of \textit{B. Mesablishvili} and \textit{R. Wisbauer} [J. K-Theory 7, No. 2, 349--388 (2011; Zbl 1239.18002)] for a comonad arising from a mixed distributive law. The notion of regular adjunction between categories with equalizers is introduced, and the category of pre-torsors over two regular adjunctions \((N_{A},R_{A})\) and \((N_{B},R_{B})\) is shown to be equivalent to the category of regular comonad arrows \((R_{A},\xi )\) from some equalizer preserving comonad \({\mathbb C}\) to \(N_{B} R_{B}\). This generalizes a known relationship between pre-torsors over equal commutative rings and Galois objects of coalgebras. Developing a bi-Galois theory of comonads, the authors show that a pre-torsor over regular adjunctions determines also a second (equalizer preserving) comonad \({\mathbb D}\) and a co-regular comonad arrow from \({\mathbb D}\) to \(N_{A} R_{A}\), such that the comodule categories of \({\mathbb C}\) and \({\mathbb D}\) are equivalent.
0 references
(co)monad
0 references
Galois functor
0 references
pre-torsor
0 references
mixed distributive law
0 references