Are the categories of bialgebras and weak biaglebras cocomplete/algebraic? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T07:00:11Z http://mathoverflow.net/feeds/question/108301 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/108301/are-the-categories-of-bialgebras-and-weak-biaglebras-cocomplete-algebraic Are the categories of bialgebras and weak biaglebras cocomplete/algebraic? SB 2012-09-28T00:27:03Z 2012-09-28T19:32:10Z <p>I am trying to verify whether the category of bialgebras and then the category of weak bialgebras are cocomplete.</p> <p>We know that algebraic categories are cocomplete (Thm. 4.5 of <a href="http://www.iti.cs.tu-bs.de/~adamek/algebraic.theories.pdf&amp;usg=AFQjCNG8SZUmNDUyK5YC6fhL04HYp_9I0g" rel="nofollow">this book</a>), so I have been trying to show that these two categories are algebraic.</p> <p>I suppose that this is something known for bialgebras at least, but I am not able to find any reference about that (or a proof for the matter). Does anyone know a reference or a proof?</p> <p>Thanks!</p> http://mathoverflow.net/questions/108301/are-the-categories-of-bialgebras-and-weak-biaglebras-cocomplete-algebraic/108302#108302 Answer by Ralph for Are the categories of bialgebras and weak biaglebras cocomplete/algebraic? Ralph 2012-09-28T00:54:15Z 2012-09-28T00:54:15Z <p>The category of bialgebras (as well as the category of Hopf algebras) over a field is complete and cocomplete. Completeness is proved in the paper </p> <p><a href="http://arxiv.org/pdf/1003.0318.pdf" rel="nofollow">A.L. Agore, Limits of coalgebras, bialgebras and Hopf algebras, Proc. Amer. Math. Soc. 139 (2011), 855-863.</a></p> <p>Also right at the beginning of the paper the author states (with references): </p> <blockquote> <p>The categories of coalgebras, bialgebras or Hopf algebras have arbitrary coproducts and coequalizers ([references]), hence these categories are cocomplete. </p> </blockquote> http://mathoverflow.net/questions/108301/are-the-categories-of-bialgebras-and-weak-biaglebras-cocomplete-algebraic/108303#108303 Answer by Todd Trimble for Are the categories of bialgebras and weak biaglebras cocomplete/algebraic? Todd Trimble 2012-09-28T01:35:02Z 2012-09-28T19:32:10Z <p>The category of bialgebras and the category of Hopf algebras are algebraic over the category of coalgebras. (See the edit below for a reference.) Since the category of coalgebras is locally presentable (as remarked in the paper Ralph referred to), it is complete, and since any category that is algebraic over a complete category is complete, the category of bialgebras and the category of Hopf algebras are complete. </p> <p>Indeed, one nice way of thinking of coalgebras (which falls out from its being locally finitely presentable) is that it's equivalent to the category of left exact functors from the category of finite-dimensional algebras to \$Set\$. Limits of such left exact functors may be computed pointwise. </p> <p>We can say more: any category that is algebraic over a locally presentable category is also locally presentable. It follows that the category of bialgebras and the category of Hopf algebras are also cocomplete. </p> <p>However, I claim neither the category of bialgebras nor the category of Hopf algebras are algebraic over set, i.e., the underlying set functors are not monadic. In fact, the underlying set functors don't even have left adjoints. If they did, then they would preserve the terminal object, but in each of these cases the ground field \$k\$ is the terminal bialgebra/Hopf algebra, and since the underlying set of \$k\$ is not terminal, the claim is proven. </p> <p><b>Edit:</b> I am not sure whether Hopf algebras are coalgebraic over the category of algebras; this is perhaps a difficult problem. The status of this and related universal properties (including the case of bialgebras, which is easier) are well-presented in a <a href="http://www.math.uni-bremen.de/~porst/dvis/PORST_Hopf_JPAA.pdf" rel="nofollow">paper</a> by Porst. (Link fixed)</p> <p><b>Edit:</b> The category of weak bialgebras is also complete and cocomplete; this is proved by similar methods from the theory of accessible categories. Namely, the category of weak bialgebras (like that of bialgebras and of Hopf algebras) can be constructed as an equifier between two natural transformations in the 2-category of accessible categories, just as in the bialgebra case. I'll refer you to <a href="http://www.math.uni-bremen.de/~porst/dvis/CoBiMon_Porst.pdf" rel="nofollow">another paper</a> of Porst for details (section 2). </p>