Hopf measuring comonoids and enrichment

DOI10.1112/PLMS.12064zbMATH Open1405.16046arXiv1509.07632OpenAlexW3124061193MaRDI QIDQ4597587FDOQ4597587

Authors: Martin Hyland, Christina Vasilakopoulou, Ignacio López Franco 

Publication date: 13 December 2017

Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)

Abstract: We study the existence of universal measuring comonoids $P(A,B)$ for a pair of monoids $A$, $B$ in a braided monoidal closed category, and the associated enrichment of a category of monoids over the monoidal category of comonoids. In symmetric categories, we show that if $A$ is a bimonoid and $B$ is a commutative monoid, then $P(A,B)$ is a bimonoid; in addition, if $A$ is a cocommutative Hopf monoid then $P(A,B)$ always is Hopf. If $A$ is a Hopf monoid, not necessarily cocommutative, then $P(A,B)$ is Hopf if the fundamental theorem of comodules holds; to prove this we give an alternative description of the dualizable $P(A,B)$-comodules and use the theory of Hopf (co)monads. We explore the examples of universal measuring comonoids in vector spaces and graded spaces.

Full work available at URL: https://arxiv.org/abs/1509.07632

Recommendations

• Hopf categories
• Universal constructions for Hopf algebras.
• Hopf comonads on naturally Frobenius map-monoidales
• On Hopf monoids in duoidal categories.
• Hopf monoidal comonads

zbMATH Keywords

universal measuring comonoidsHopf (co)monads

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Coalgebras and comodules; corings (16T15) Enriched categories (over closed or monoidal categories) (18D20)

Cited In (17)

• Monoidal Grothendieck construction
• Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories
• The finite dual coalgebra as a quantization of the maximal spectrum
• The coalgebraic enrichment of algebras in higher categories
• Sweedler theory of monads
• Hopf monoids in varieties
• Generalizations of the Sweedler dual
• Bialgebra coverings and transfer of structure
• Oplax Hopf Algebras
• On measurings of algebras over operads and homology theories
• A functorial excursion between algebraic geometry and linear logic
• General comodule-contramodule correspondence
• On bimeasurings.
• V-universal Hopf algebras (co)acting on Ω-algebras
• Comonadic base change for enriched categories
• Functors between representation categories. Universal modules
• Measurings of Hopf algebroids and morphisms in cyclic (co)homology theories

This page was built for publication: Hopf measuring comonoids and enrichment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4597587)