Abstract
Commutative varieties provide a natural setting for generalizing Hopf algebra theory over commutative rings, since they satisfy the various conditions identified in the category theoretical analysis of this theory to guarantee for example the existence of all naturally occurring forgetful functors in this context, the existence of universal measuring comonoids and the existence of generalized finite duals. It will be shown in addition, that crucial properties of the latter, known from the case of Hopf algebra theory over commutative rings, can be generalized Hopf algebra theory over a commutative variety. The attempt to generalize its construction leads to a couple of questions concerning properties of the monoidal structure of a commutative variety, which seem to be of a more general interest.
Similar content being viewed by others
References
Abuhlail, J.Y., Al-Sulaiman, N.: Hopf semialgebras. Commun. Algebra 43, 1241–1278 (2015)
Abuhlail, J.Y., Gómez-Torrecillas, J., Wisbauer, R.: Dual coalgebras of algebras over commutative rings. J. Pure Appl. Algebra 153, 107–120 (2000)
Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories. Wiley, New York (1990)
Aguiar, M., Mahajan, S.: Monoidal functors, species and Hopf algebras. In: CRM Monograph Series , vol. 29. American Mathematical Society, Providence (2010)
Anel, M., Joyal, A.: Sweedler theory of (co)algebras and the bar–cobar constructions. arXiv:1309.6952 (2013)
Banaschewski, B., Nelson, E.: Tensor products and bimorphisms. Can. Math. Bull. 19, 385–402 (1976)
Bonsangue, M.M., Milius, S., Silva, A.: Sound and complete axiomatizations of coalgebraic language equivalence. ACM Trans. Comput. Log. 14.1(article 7) (2013)
Borceux, F.: Handbook of Categorical Algebra 2. Cambridge University Press, Cambridge (1994)
Chen, C.Y., Nichols, W.D.: A duality theorem for Hopf module algebras over Dedekind rings. Commun. Algebra 18(10), 3209–3221 (1990)
Davey, B.A., Davis, G.: Tensor products and entropic varieties. Algebra Univ. 21, 68–88 (1985)
Ésik, Z., Maletti, A.: Simulations of weighted tree automata. In: Domaratzki, M., Salomaa, K. (eds.) Proceedings of the 15th International Conference on Implementation and Application of Automata (CIAA). Lecture Notes in Computer Science, vol. 6482, pp. 321–330. Springer, Berlin (2011)
Hyland, M., López Franco, I., Vasilakopoulou, C.: Hopf measuring comonoids and enrichment. arXiv:1509.07632 (2015)
Kelly, G.M.: Doctrinal adjunction. Lect. Notes Math. 420, 257–280 (1974). (Springer)
Kelly, G.M., Street, R.: Review of the elements of 2-categories. Lect. Notes Math. 420, 75–103 (1974). Springer-Verlag
Klukovits, L.: On commutative universal algebras. Acta. Sci. Math. (Szeged) 37, 11–15 (1973)
Linton, F.E.J.: Autonomous equational categories. J. Math. Mech. 15, 637–642 (1966)
Manes, E.G.: Algebraic Theories. Springer, New York (1976)
Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1998)
Neumann, W.D.: Mal’cev conditions, spectra, and the Kronecker product. J. Aust. Math. Soc. (Ser. A) 25, 103–117 (1978)
Pareigis, B.: Non-additive ring and module theory I. Publ. Math. Debr. 24, 189–204 (1977)
Porst, H.-E.: On categories of monoids, comonoids, and bimonoids. Quaest. Math. 31, 127–139 (2008)
Porst, H.-E.: The formal theory of Hopf algebras part I. Quaest. Math. 38, 631–682 (2015)
Porst, H.-E.: The formal theory of Hopf algebras part II. Quaest. Math. 38, 683–708 (2015)
Porst, H.-E.: Hopf monoids in semi-additive varieties. Log. Methods Comput. Sci. 13, 1–13 (2017)
Porst, H.-E., Street, R.: Generalizations of the Sweedler dual. Appl. Categ. Struct. 24, 619–647 (2016)
Romanowska, A., Smith, J.D.H.: On Hopf algebras in entropic Jónsson–Tarski varieties. Bull. Korean Math. Soc. 52, 1587–1606 (2015)
Sweedler, M.E.: Hopf Algebras. Benjamin, New York (1969)
Acknowledgements
I am grateful to the anonymous referee for his of her constructive criticism, which lead to a considerable improvement of the presentation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by J. Adámek.
Rights and permissions
About this article
Cite this article
Porst, HE. Hopf monoids in varieties. Algebra Univers. 79, 18 (2018). https://doi.org/10.1007/s00012-018-0500-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-018-0500-5