Pre-torsors and Galois comodules over mixed distributive laws (Q543492): Difference between revisions

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.