Hopf modules and Yetter-Drinfel'd modules (Q1340257)

Crossed (bi)modules (or Yetter-Drinfeld modules/structures, or Yang- Baxter modules) over a bialgebra were introduced by Yetter (1990). (The same structure over a finite group is far older.) This is a module and comodule with the action and coaction satisfying a compatibility condition. A bicovariant bimodule (or two-sided two-cosided Hopf module, or tetramodule) appeared as the basic notion in Woronowicz's approach to differential calculus on quantum groups (1989). Both objects arise very often in Hopf algebra and quantum group theory. The results about interrelation between these two structures in terms of the chosen basis can be found in the original paper of \textit{S. L. Woronowicz} [Commun. Math. Phys. 122, 125-170 (1989; Zbl 0751.58042)]. The main theorem of the present paper can be considered as a coordinate free version of the Woronowicz result and states the equivalence between (pre-)braided categories of two-sided two-cosided Hopf modules and Yetter-Drinfeld structures. The author works in an arbitrary symmetric monoidal category which has (co)equalisers. We make the following remarks: The same result is true in a braided category: Crossed modules over braided Hopf algebras are studied in the reviewer's paper ``Crossed modules and quantum groups in braided categories'' (preprint 1994). -- The assumption about existence of (co)equalisers can be replaced by the weaker condition that idempotents are split.