Pre-torsors and Galois comodules over mixed distributive laws

G. Böhm, Claudia Menini

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

We study comodule functors for comonads arising from mixed distributive laws. Their Galois property is reformulated in terms of a (so-called) regular arrow in Street's bicategory of comonads. Between categories possessing equalizers, we introduce the notion of a regular adjunction. An equivalence is proven between the category of pre-torsors over two regular adjunctions (N A, RA) and (NB, RB) on one hand, and the category of regular comonad arrows (RA, ξ) from some equalizer preserving comonad ℂ to NBRB on the other. This generalizes a known relationship between pre-torsors over equal commutative rings and Galois objects of coalgebras. Developing a bi-Galois theory of comonads, we show that a pre-torsor over regular adjunctions determines also a second (equalizer preserving) comonad D and a coregular comonad arrow from D to NARA, such that the comodule categories of ℂ and D are equivalent.

Original languageEnglish
Pages (from-to)597-632
Number of pages36
JournalApplied Categorical Structures
Volume19
Issue number3
DOIs
Publication statusPublished - Jun 2011

Fingerprint

Distributive law
Torsor
Comodule
Galois
Equalizers
Adjunction
Equalizer
Bicategory
Galois Theory
Coalgebra
Commutative Ring
Functor
Equivalence
Generalise

Keywords

  • (Co)monad
  • Galois functor
  • Pre-torsor

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Pre-torsors and Galois comodules over mixed distributive laws. / Böhm, G.; Menini, Claudia.

In: Applied Categorical Structures, Vol. 19, No. 3, 06.2011, p. 597-632.

Research output: Contribution to journalArticle

@article{0c96d6feb55b4a07a4a80de838839203,
title = "Pre-torsors and Galois comodules over mixed distributive laws",
abstract = "We study comodule functors for comonads arising from mixed distributive laws. Their Galois property is reformulated in terms of a (so-called) regular arrow in Street's bicategory of comonads. Between categories possessing equalizers, we introduce the notion of a regular adjunction. An equivalence is proven between the category of pre-torsors over two regular adjunctions (N A, RA) and (NB, RB) on one hand, and the category of regular comonad arrows (RA, ξ) from some equalizer preserving comonad ℂ to NBRB on the other. This generalizes a known relationship between pre-torsors over equal commutative rings and Galois objects of coalgebras. Developing a bi-Galois theory of comonads, we show that a pre-torsor over regular adjunctions determines also a second (equalizer preserving) comonad D and a coregular comonad arrow from D to NARA, such that the comodule categories of ℂ and D are equivalent.",
keywords = "(Co)monad, Galois functor, Pre-torsor",
author = "G. B{\"o}hm and Claudia Menini",
year = "2011",
month = "6",
doi = "10.1007/s10485-008-9185-9",
language = "English",
volume = "19",
pages = "597--632",
journal = "Applied Categorical Structures",
issn = "0927-2852",
publisher = "Springer Netherlands",
number = "3",

}

TY - JOUR

T1 - Pre-torsors and Galois comodules over mixed distributive laws

AU - Böhm, G.

AU - Menini, Claudia

PY - 2011/6

Y1 - 2011/6

N2 - We study comodule functors for comonads arising from mixed distributive laws. Their Galois property is reformulated in terms of a (so-called) regular arrow in Street's bicategory of comonads. Between categories possessing equalizers, we introduce the notion of a regular adjunction. An equivalence is proven between the category of pre-torsors over two regular adjunctions (N A, RA) and (NB, RB) on one hand, and the category of regular comonad arrows (RA, ξ) from some equalizer preserving comonad ℂ to NBRB on the other. This generalizes a known relationship between pre-torsors over equal commutative rings and Galois objects of coalgebras. Developing a bi-Galois theory of comonads, we show that a pre-torsor over regular adjunctions determines also a second (equalizer preserving) comonad D and a coregular comonad arrow from D to NARA, such that the comodule categories of ℂ and D are equivalent.

AB - We study comodule functors for comonads arising from mixed distributive laws. Their Galois property is reformulated in terms of a (so-called) regular arrow in Street's bicategory of comonads. Between categories possessing equalizers, we introduce the notion of a regular adjunction. An equivalence is proven between the category of pre-torsors over two regular adjunctions (N A, RA) and (NB, RB) on one hand, and the category of regular comonad arrows (RA, ξ) from some equalizer preserving comonad ℂ to NBRB on the other. This generalizes a known relationship between pre-torsors over equal commutative rings and Galois objects of coalgebras. Developing a bi-Galois theory of comonads, we show that a pre-torsor over regular adjunctions determines also a second (equalizer preserving) comonad D and a coregular comonad arrow from D to NARA, such that the comodule categories of ℂ and D are equivalent.

KW - (Co)monad

KW - Galois functor

KW - Pre-torsor

UR - http://www.scopus.com/inward/record.url?scp=79960083211&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79960083211&partnerID=8YFLogxK

U2 - 10.1007/s10485-008-9185-9

DO - 10.1007/s10485-008-9185-9

M3 - Article

VL - 19

SP - 597

EP - 632

JO - Applied Categorical Structures

JF - Applied Categorical Structures

SN - 0927-2852

IS - 3

ER -