Pre-torsors and Galois comodules over mixed distributive laws (Q543492)

From MaRDI portal
Revision as of 00:35, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
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
    0 references
    (co)monad
    0 references
    Galois functor
    0 references
    pre-torsor
    0 references
    mixed distributive law
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references