Ehresmann coring

Given a coalgebra-Galois extension $U\hookrightarrow E$ of a $k$-algebra $U$, which is the appropriate generalization of a Hopf-Galois extension, where $E$ is faithfully flat over the base $U$ as a left $E$-module, one constructs a coring, **Ehresmann coring**, out of these data. Its role is somewhat analogous to the gauge groupoid (see Atiyah Lie groupoid), and in Hopf-Galois case it is an intermediate stage in constructing another analogue, (Ehresmann-)Schauenburg bialgebroid, see there.

- T. Brzeziński, R. Wisbauer,
*Corings and comodules*, London Math. Soc. Lec. Note Series**309**, Cambridge 2003.

Created on February 11, 2021 at 18:44:46. See the history of this page for a list of all contributions to it.