Contents 1. Introduction 2 2. Preliminaries 4 2.1. Some results on ...

References[Ap] H. Appelgate, Acyclic models and resolvent functors, Ph.D. thesis (Columbia University,1965).[Ba] R. Baer, Zur Einführung des Scharbegriffs, J. Reine Angew. Math. 160 (1929), 199-207.[Be] J. Beck, Distributive laws, in Seminar on Triples and Categorical Homology Theory, B.Eckmann (ed.), Springer LNM 80 (1969), 119-140.[Bo] G. Böhm, Private communication to the author.[BW] M. Barr and T. Wells, Toposes, Triples and Theories, Grundl. der math. Wiss. 278,Springer-Verlag, (1983), available athttp://www.cwru.edu/artsci/math/wells/pub/ttt.html.http://www.case.edu/artsci/math/wells/pub/ttt.html.[BB] G. Böhm and T. Brzeziński, Pre-torsors and equivalences, J. Algebra 317 (2007), 544-580. Corrigendum, J. Algebra 319 (2008), 1339-1340.[BM] G. Böhm and C. Menini, Pre-torsors and Galois comodules overmixed distributive laws, to appear in Appl. Cat. Str.,online versionhttp://www.springerlink.com/content/xtk716u4517t0m63/fulltext.pdf, preprintarXiv:RA0806.121<strong>2.</strong>[BRZ2002] T. Brzeziński, The structure of corings. Induction functors, Maschke-type theorem, andFrobenius and Galois-type properties, Algebra Represent. Theory 5 (2002), 389-410.[BrHaj] T. Brzeziński, P.M. Hajac, Coalgebra extensions and algebra coextensions of Galoistype, Commun. Algebra 27(3) (1999), 1347-1368.[BMV] T. Brzeziński, A. Vazquez Marquez, J. Vercruysse, The Eilenberg-Moore categoryand a Beck-type theorem for a Morita context, to appear in Appl. Cat. Str.,online version http://www.springerlink.com/content/y68l7724n12n5u18/fulltext.pdf,preprint arXiv:081<strong>1.</strong>4304.[BV] T. Brzeziński and J. Vercruysse, Bimodule herds, J. Algebra 321 (2009), 2670-2704.[BrWi] T. Brzeziński and R. Wisbauer, Corings and comodules, London Mathematical SocietyLecture Note Series 309, Cambridge University Press, Cambridge, (2003).[D] E. Dubuc, Kan extensions in enriched category theory, Lecture Notes in Mathematics145, Springer Verlag Berlin (1970).[ELGO2] L. El Kaoutit, J. Gómez-Torrecillas, F.J. Lobillo, Semisimple corings, Algebra Colloq.11 (2004), no. 4, 427-44<strong>2.</strong>[GT] J. Gómez-Torrecillas, Comonads and Galois corings, Appl. Categorical Structures 14(2006), 579-598. Available online at arXiv:math.RA/0607043v<strong>1.</strong>[Gra] John W. Gray, Formal category theory: adjointness for 2-categories, Lecture Notes inMathematics, Vol. 39<strong>1.</strong> Springer-Verlag, Berlin-New York, 1974. xii+282 pp. 18DXX[G] C. Grunspan, Quantum torsors, J. Pure Appl. Algebra 184 (2003), 229-255.[Ho] D. Hobst, Antipodes in the theory of noncommutative torsors, Ph.D. thesis Ludwig-Maximilians Universität München 2004, Logos Verlag, Berlin (2004).[H] P. Huber, Homotopy theory in general categories, Math. Ann. 144 (1961), 361-385.[J] P.T. Johnstone, Adjoint lifting theorems for categories of algebras, Bull. London Math.Soc., 7 (1975), 294-297.[KT] H.F. Kreimer, M. Takeuchi, Hopf algebras and Galois extensions of an algebra, IndianaUniv. Math. J. 30 (1981), 675-69<strong>2.</strong>[MeZu] C. Menini, M. Zuccoli, Equivalence Theorems and Hopf-Galois Extensions, J. Algebra194 (1997), 245-274.[Mesa] B. Mesablishvili, Entwining structures in monoidal categories, J. Algebra 319 (2008),[Po]2496-2517.N. Popescu, Abelian Categories with Application to Rings and Modules, AcademicPress, London & New York, (1973).[Pr] H. Prüfer, Theorie der Abelschen Gruppen. I. Grundeigenschaften, Math. Z. 20,(1924),165-187.265