Autumn semester 2009 |
Přednášky se konají v 16:30 v seminární místnosti, první patro budovy č.8, areál Přírodovědecké fakulty, Kotlářská 2, Brno. 30. září Hans-Eberhard Porst, (Univerzita Brémy, Německo) Abstrakt:The existence of free Hopf algebras over coalgebras and of cofree Hopf algebras over algebras (all relative to a eld k) has been claimed by Sweedler in 1969 (without any hint of a proof). The only known free-Hopf-algebra construction is due to Takeuchi some years later. Street proved re ectivity of the category of Hopf algebras in that of bialgebras in 2007 (also relative to eld only), from which the existence of free Hopf algebras can be deduced. Whether cofree Hopf algebras really exist seems to be unknown. By using the more abstract approach of Hopf monoids over a symmetric monoidal category whose underlying category is locally presentable we solve these existence problems by reduction to a manageable description of limits and colimits respectively in categories of bimonoids. These descriptions are based on standard categorical results only and the limit case moreover is got essentially \for free" by simple categorical dualization of the colimit description. Our main results then are:
|
Last Updated on Tuesday, 26 October 2010 11:22 |